--- a/src/eric7/Documentation/Source/eric7.UI.PythonDisViewer.html Thu May 25 19:51:47 2023 +0200 +++ b/src/eric7/Documentation/Source/eric7.UI.PythonDisViewer.html Thu May 25 19:52:31 2023 +0200 @@ -134,7 +134,7 @@ </tr> <tr> <td><a href="#PythonDisViewer.__editorLineChanged">__editorLineChanged</a></td> -<td>Private slot to handle a mouse button double click in the editor.</td> +<td></td> </tr> <tr> <td><a href="#PythonDisViewer.__editorSaved">__editorSaved</a></td> @@ -515,20 +515,6 @@ <h4>PythonDisViewer.__editorLineChanged</h4> <b>__editorLineChanged</b>(<i>editor, lineno</i>) -<p> - Private slot to handle a mouse button double click in the editor. -</p> -<dl> - -<dt><i>editor</i> (Editor)</dt> -<dd> -reference to the editor, that emitted the signal -</dd> -<dt><i>lineno</i> (int)</dt> -<dd> -line number of the editor's cursor (zero based) -</dd> -</dl> <a NAME="PythonDisViewer.__editorSaved" ID="PythonDisViewer.__editorSaved"></a> <h4>PythonDisViewer.__editorSaved</h4> <b>__editorSaved</b>(<i>editor</i>)