diff -r 7dc49eb45a06 -r eae7d1d9cc7b Documentation/Source/eric6.Plugins.ViewManagerPlugins.Tabview.Tabview.html
--- a/Documentation/Source/eric6.Plugins.ViewManagerPlugins.Tabview.Tabview.html Mon Apr 08 19:15:58 2019 +0200
+++ b/Documentation/Source/eric6.Plugins.ViewManagerPlugins.Tabview.Tabview.html Mon Apr 08 19:16:42 2019 +0200
@@ -643,7 +643,11 @@
Class implementing a tabbed viewmanager class embedded in a splitter.
</p><h3>Signals</h3>
<dl>
-<dt>bookmarkToggled(Editor)</dt>
+<dt>astViewerStateChanged(bool)</dt>
+<dd>
+emitted to signal a change in the
+ AST viewer state
+</dd><dt>bookmarkToggled(Editor)</dt>
<dd>
emitted when a bookmark is toggled.
</dd><dt>breakpointToggled(Editor)</dt>
