Mercurial Repositories > eric / file diff

--- a/src/eric7/Documentation/Source/eric7.JediInterface.JediServer.html	Fri Oct 13 08:30:15 2023 +0200
+++ b/src/eric7/Documentation/Source/eric7.JediInterface.JediServer.html	Fri Oct 13 09:10:05 2023 +0200
@@ -143,6 +143,10 @@
 <td>Public method to deactivate the code assist server.</td>
 </tr>
 <tr>
+<td><a href="#JediServer.forgetEditor">forgetEditor</a></td>
+<td>Public method to forget about the given editor.</td>
+</tr>
+<tr>
 <td><a href="#JediServer.getCallTips">getCallTips</a></td>
 <td></td>
 </tr>
@@ -545,6 +549,20 @@
 <p>
         Public method to deactivate the code assist server.
 </p>
+<a NAME="JediServer.forgetEditor" ID="JediServer.forgetEditor"></a>
+<h4>JediServer.forgetEditor</h4>
+<b>forgetEditor</b>(<i>editor</i>)
+
+<p>
+        Public method to forget about the given editor.
+</p>
+<dl>
+
+<dt><i>editor</i> (Editor)</dt>
+<dd>
+reference to the editor to forget about
+</dd>
+</dl>
 <a NAME="JediServer.getCallTips" ID="JediServer.getCallTips"></a>
 <h4>JediServer.getCallTips</h4>
 <b>getCallTips</b>(<i>editor, pos, commas</i>)