--- a/src/eric7/Documentation/Source/eric7.UI.UserInterface.html Fri Jun 14 11:18:10 2024 +0200 +++ b/src/eric7/Documentation/Source/eric7.UI.UserInterface.html Fri Jun 14 11:23:45 2024 +0200 @@ -1056,6 +1056,10 @@ <td>Public slot to handle opening a URL.</td> </tr> <tr> +<td><a href="#UserInterface.isEricServerConnected">isEricServerConnected</a></td> +<td>Public method to check, if a connection to an eric-ide server has been established.</td> +</tr> +<tr> <td><a href="#UserInterface.isOnline">isOnline</a></td> <td>Public method to get the online state.</td> </tr> @@ -3549,6 +3553,26 @@ URL to be shown </dd> </dl> +<a NAME="UserInterface.isEricServerConnected" ID="UserInterface.isEricServerConnected"></a> +<h4>UserInterface.isEricServerConnected</h4> +<b>isEricServerConnected</b>(<i></i>) +<p> + Public method to check, if a connection to an eric-ide server has been + established. +</p> + +<dl> +<dt>Return:</dt> +<dd> +flag indicating the interface connection state +</dd> +</dl> +<dl> +<dt>Return Type:</dt> +<dd> +bool +</dd> +</dl> <a NAME="UserInterface.isOnline" ID="UserInterface.isOnline"></a> <h4>UserInterface.isOnline</h4> <b>isOnline</b>(<i></i>)