def _on_close(self, view): storage = RenderedMarkupCache.instance() entry = storage.get_entry(view.buffer_id()) if entry is not None: entry.disconnected = True
def on_close(self, view): storage = RenderedMarkupCache.instance() entry = storage.get_entry(view.buffer_id()) if entry is not None: entry.disconnected = True
def run(self): storage = RenderedMarkupCache.instance() storage.clean()