diff -r e28b89693f37 -r 299802979277 src/eric7/Documentation/Source/eric7.Debugger.DebugServer.html --- a/src/eric7/Documentation/Source/eric7.Debugger.DebugServer.html Tue Dec 19 11:04:03 2023 +0100 +++ b/src/eric7/Documentation/Source/eric7.Debugger.DebugServer.html Tue Dec 19 19:57:08 2023 +0100 @@ -1766,7 +1766,7 @@ <dd> ID of the debugger backend </dd> -<dt><i>special</i></dt> +<dt><i>special</i> (bool)</dt> <dd> flag indicating a special continue operation </dd>