--- a/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWebreplSocket.html Wed Dec 20 11:06:38 2023 +0100 +++ b/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWebreplSocket.html Wed Dec 20 14:58:58 2023 +0100 @@ -203,7 +203,12 @@ <dt>Return:</dt> <dd> flag indicating a timeout -@rtype bool +</dd> +</dl> +<dl> +<dt>Return Type:</dt> +<dd> +bool </dd> </dl> <a NAME="MicroPythonWebreplSocket.isConnected" ID="MicroPythonWebreplSocket.isConnected"></a>