diff -r 12a81f47b6aa -r 708119d4377f src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html
--- a/src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html Tue Dec 05 14:32:11 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.ViewManager.ViewManager.html Tue Dec 05 14:32:29 2023 +0100
@@ -706,6 +706,10 @@
<td>Private slot to switch of all highlights.</td>
</tr>
<tr>
+<td><a href="#ViewManager.__watchedFileChanged">__watchedFileChanged</a></td>
+<td>Private slot handling a file has been modified, renamed or removed.</td>
+</tr>
+<tr>
<td><a href="#ViewManager.__zoom">__zoom</a></td>
<td>Private method to handle the zoom action.</td>
</tr>
@@ -782,6 +786,10 @@
<td>Public slot to add a filename to the list of recently opened files.</td>
</tr>
<tr>
+<td><a href="#ViewManager.addWatchedFilePath">addWatchedFilePath</a></td>
+<td>Public method to add a file to the list of monitored files.</td>
+</tr>
+<tr>
<td><a href="#ViewManager.appFocusChanged">appFocusChanged</a></td>
<td>Public method to handle the global change of focus.</td>
</tr>
@@ -898,6 +906,10 @@
<td>Public method to return the count of editors displaying the given file.</td>
</tr>
<tr>
+<td><a href="#ViewManager.getOpenEditorList">getOpenEditorList</a></td>
+<td>Public method to return a list of all editors displaying the given file.</td>
+</tr>
+<tr>
<td><a href="#ViewManager.getOpenEditors">getOpenEditors</a></td>
<td>Public method to get references to all open editors.</td>
</tr>
@@ -1074,6 +1086,10 @@
<td>Public method used to remove the current split view or a split view by index.</td>
</tr>
<tr>
+<td><a href="#ViewManager.removeWatchedFilePath">removeWatchedFilePath</a></td>
+<td>Public method to remove a file from the list of monitored files.</td>
+</tr>
+<tr>
<td><a href="#ViewManager.saveAllEditors">saveAllEditors</a></td>
<td>Public slot to save the contents of all editors.</td>
</tr>
@@ -2448,6 +2464,20 @@
<p>
Private slot to switch of all highlights.
</p>
+<a NAME="ViewManager.__watchedFileChanged" ID="ViewManager.__watchedFileChanged"></a>
+<h4>ViewManager.__watchedFileChanged</h4>
+<b>__watchedFileChanged</b>(<i>filePath</i>)
+
+<p>
+ Private slot handling a file has been modified, renamed or removed.
+</p>
+<dl>
+
+<dt><i>filePath</i> (str)</dt>
+<dd>
+path of the file
+</dd>
+</dl>
<a NAME="ViewManager.__zoom" ID="ViewManager.__zoom"></a>
<h4>ViewManager.__zoom</h4>
<b>__zoom</b>(<i></i>)
@@ -2760,6 +2790,20 @@
name of the file to be added
</dd>
</dl>
+<a NAME="ViewManager.addWatchedFilePath" ID="ViewManager.addWatchedFilePath"></a>
+<h4>ViewManager.addWatchedFilePath</h4>
+<b>addWatchedFilePath</b>(<i>filePath</i>)
+
+<p>
+ Public method to add a file to the list of monitored files.
+</p>
+<dl>
+
+<dt><i>filePath</i> (str)</dt>
+<dd>
+path of the file to be added
+</dd>
+</dl>
<a NAME="ViewManager.appFocusChanged" ID="ViewManager.appFocusChanged"></a>
<h4>ViewManager.appFocusChanged</h4>
<b>appFocusChanged</b>(<i>old, now</i>)
@@ -3282,7 +3326,7 @@
</p>
<dl>
-<dt><i>fn</i></dt>
+<dt><i>fn</i> (str)</dt>
<dd>
filename to look for
</dd>
@@ -3294,6 +3338,12 @@
no editor was found
</dd>
</dl>
+<dl>
+<dt>Return Type:</dt>
+<dd>
+Editor or None
+</dd>
+</dl>
<a NAME="ViewManager.getOpenEditorCount" ID="ViewManager.getOpenEditorCount"></a>
<h4>ViewManager.getOpenEditorCount</h4>
<b>getOpenEditorCount</b>(<i>fn</i>)
@@ -3314,6 +3364,26 @@
count of editors displaying this file (integer)
</dd>
</dl>
+<a NAME="ViewManager.getOpenEditorList" ID="ViewManager.getOpenEditorList"></a>
+<h4>ViewManager.getOpenEditorList</h4>
+<b>getOpenEditorList</b>(<i>fn</i>)
+
+<p>
+ Public method to return a list of all editors displaying the given file.
+</p>
+<dl>
+
+<dt><i>fn</i> (str)</dt>
+<dd>
+filename to look for
+</dd>
+</dl>
+<dl>
+<dt>Return:</dt>
+<dd>
+list of references to the editors displaying this file
+</dd>
+</dl>
<a NAME="ViewManager.getOpenEditors" ID="ViewManager.getOpenEditors"></a>
<h4>ViewManager.getOpenEditors</h4>
<b>getOpenEditors</b>(<i></i>)
@@ -4060,6 +4130,20 @@
bool
</dd>
</dl>
+<a NAME="ViewManager.removeWatchedFilePath" ID="ViewManager.removeWatchedFilePath"></a>
+<h4>ViewManager.removeWatchedFilePath</h4>
+<b>removeWatchedFilePath</b>(<i>filePath</i>)
+
+<p>
+ Public method to remove a file from the list of monitored files.
+</p>
+<dl>
+
+<dt><i>filePath</i> (str)</dt>
+<dd>
+path of the file to be removed
+</dd>
+</dl>
<a NAME="ViewManager.saveAllEditors" ID="ViewManager.saveAllEditors"></a>
<h4>ViewManager.saveAllEditors</h4>
<b>saveAllEditors</b>(<i></i>)
