diff -r f0bbf95a0f26 -r 082d58e2415e Documentation/Source/eric6.QScintilla.Shell.html
--- a/Documentation/Source/eric6.QScintilla.Shell.html Sun Nov 04 11:46:35 2018 +0100
+++ b/Documentation/Source/eric6.QScintilla.Shell.html Sun Nov 04 12:38:32 2018 +0100
@@ -309,7 +309,7 @@
<td>Private method to write a banner with info from the debug client.</td>
</tr><tr>
<td><a href="#Shell.__writePrompt">__writePrompt</a></td>
-<td>Private method to write the prompt.</td>
+<td>Private method to write the prompt using a write queue.</td>
</tr><tr>
<td><a href="#Shell.__writeQueued">__writeQueued</a></td>
<td>Private method to display some text using a write queue.</td>
@@ -1150,7 +1150,7 @@
<h4>Shell.__writePrompt</h4>
<b>__writePrompt</b>(<i></i>)
<p>
- Private method to write the prompt.
+ Private method to write the prompt using a write queue.
</p><a NAME="Shell.__writeQueued" ID="Shell.__writeQueued"></a>
<h4>Shell.__writeQueued</h4>
<b>__writeQueued</b>(<i>s</i>)
