Debug change tab from Text Editor
@@ -156,6 +156,7 @@ class TextEditorPlugin(Plugin, TreeAwarePluginMixin):
self._editor.set_editor_caret_position()
elif message.oldtab == self.title:
print("DEBUG: OnTabChange move to another from Text Editor.")
+ self.Skip()
self._editor.remove_and_store_state()
def OnTabChanged(self, event):
