--- 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