diff -r fa0ea22dd909 -r 8a7e3a26fe36 src/eric7/Documentation/Source/eric7.Project.Project.html
--- a/src/eric7/Documentation/Source/eric7.Project.Project.html Sat Oct 05 11:39:18 2024 +0200
+++ b/src/eric7/Documentation/Source/eric7.Project.Project.html Sat Oct 05 11:40:01 2024 +0200
@@ -974,6 +974,10 @@
<td>Public method to register a project type.</td>
</tr>
<tr>
+<td><a href="#Project.remoteConnectionAboutToDisconnect">remoteConnectionAboutToDisconnect</a></td>
+<td>Public slot to handle the imminent disconnect from an 'eric-ide' server.</td>
+</tr>
+<tr>
<td><a href="#Project.remoteConnectionChanged">remoteConnectionChanged</a></td>
<td>Public slot to handle a change of the 'eric-ide' server connection state.</td>
</tr>
@@ -4432,6 +4436,13 @@
project type
</dd>
</dl>
+<a NAME="Project.remoteConnectionAboutToDisconnect" ID="Project.remoteConnectionAboutToDisconnect"></a>
+<h4>Project.remoteConnectionAboutToDisconnect</h4>
+<b>remoteConnectionAboutToDisconnect</b>(<i></i>)
+<p>
+ Public slot to handle the imminent disconnect from an 'eric-ide' server.
+</p>
+
<a NAME="Project.remoteConnectionChanged" ID="Project.remoteConnectionChanged"></a>
<h4>Project.remoteConnectionChanged</h4>
<b>remoteConnectionChanged</b>(<i>connected</i>)
