コード例 #1
0
 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
コード例 #3
0
 def run(self):
     storage = RenderedMarkupCache.instance()
     storage.clean()
コード例 #4
0
 def run(self):
     storage = RenderedMarkupCache.instance()
     storage.clean()