Plugins/ViewManagerPlugins/Tabview/Tabview.py

changeset 6931
faac36ec9d76
parent 6645
ad476851d7e0
child 6932
8a3df4c6ac9a
diff -r 33c98cea84f0 -r faac36ec9d76 Plugins/ViewManagerPlugins/Tabview/Tabview.py
--- 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)

eric ide

mercurial