diff -r faac36ec9d76 -r 8a3df4c6ac9a Plugins/ViewManagerPlugins/Tabview/Tabview.py --- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sun Apr 07 19:55:21 2019 +0200 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Mon Apr 08 19:08:44 2019 +0200 @@ -766,6 +766,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