--- a/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sat Apr 06 16:33:49 2019 +0200 +++ b/Plugins/ViewManagerPlugins/Tabview/Tabview.py Sun Apr 07 19:55:21 2019 +0200 @@ -764,6 +764,8 @@ @signal syntaxerrorToggled(Editor) emitted when a syntax error is toggled. @signal previewStateChanged(bool) emitted to signal a change in the preview state + @signal previewStateChanged(bool) emitted to signal a change in the + preview state @signal editorLanguageChanged(Editor) emitted to signal a change of an editors language @signal editorTextChanged(Editor) emitted to signal a change of an @@ -789,6 +791,7 @@ bookmarkToggled = pyqtSignal(Editor) syntaxerrorToggled = pyqtSignal(Editor) previewStateChanged = pyqtSignal(bool) + astViewerStateChanged = pyqtSignal(bool) editorLanguageChanged = pyqtSignal(Editor) editorTextChanged = pyqtSignal(Editor) editorLineChanged = pyqtSignal(str, int)