--- a/src/eric7/Documentation/Source/eric7.QScintilla.Shell.html Fri Jun 14 11:18:10 2024 +0200 +++ b/src/eric7/Documentation/Source/eric7.QScintilla.Shell.html Fri Jun 14 11:23:45 2024 +0200 @@ -535,6 +535,10 @@ <td>Public method to reload the history of the currently selected client type.</td> </tr> <tr> +<td><a href="#Shell.remoteConnectionChanged">remoteConnectionChanged</a></td> +<td>Public slot handling a change of the connection state to an eric-ide server.</td> +</tr> +<tr> <td><a href="#Shell.saveContents">saveContents</a></td> <td>Public method to save the current contents to a file.</td> </tr> @@ -2065,6 +2069,20 @@ type. </p> +<a NAME="Shell.remoteConnectionChanged" ID="Shell.remoteConnectionChanged"></a> +<h4>Shell.remoteConnectionChanged</h4> +<b>remoteConnectionChanged</b>(<i>connected</i>) +<p> + Public slot handling a change of the connection state to an eric-ide server. +</p> + +<dl> + +<dt><i>connected</i> (bool)</dt> +<dd> +flag indicating the connection state +</dd> +</dl> <a NAME="Shell.saveContents" ID="Shell.saveContents"></a> <h4>Shell.saveContents</h4> <b>saveContents</b>(<i></i>)