--- a/src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html	Tue Jan 23 12:21:15 2024 +0100
+++ b/src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html	Wed Jan 24 18:52:50 2024 +0100
@@ -93,6 +93,11 @@
 emitted just before an editor window gets
         closed
 </dd>
+<dt>editorCountChanged(count)</dt>
+<dd>
+emitted whenever the count of open editors
+        changed
+</dd>
 <dt>editorDoubleClickedEd(Editor, position, buttons)</dt>
 <dd>
 emitted to signal