def _on_close(self, view):
     storage = RenderedMarkupCache.instance()
     entry = storage.get_entry(view.buffer_id())
     if entry is not None:
         entry.disconnected = True
示例#2
0
 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()
示例#4
0
 def run(self):
     storage = RenderedMarkupCache.instance()
     storage.clean()