Plugins/ViewManagerPlugins/Listspace/Listspace.py

changeset 6932
8a3df4c6ac9a
parent 6931
faac36ec9d76
--- a/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Sun Apr 07 19:55:21 2019 +0200
+++ b/Plugins/ViewManagerPlugins/Listspace/Listspace.py	Mon Apr 08 19:08:44 2019 +0200
@@ -173,6 +173,8 @@
         preview state
     @signal previewStateChanged(bool) emitted to signal a change in the
         preview state
+    @signal astViewerStateChanged(bool) emitted to signal a change in the
+        AST viewer state
     @signal editorLanguageChanged(Editor) emitted to signal a change of an
         editors language
     @signal editorTextChanged(Editor) emitted to signal a change of an

eric ide

mercurial