--- a/Documentation/Help/source.qhp Thu Aug 23 18:21:58 2018 +0200 +++ b/Documentation/Help/source.qhp Sun Aug 26 15:03:20 2018 +0200 @@ -14264,6 +14264,7 @@ <keyword name="Shell.__write" id="Shell.__write" ref="eric6.QScintilla.Shell.html#Shell.__write" /> <keyword name="Shell.__writeBanner" id="Shell.__writeBanner" ref="eric6.QScintilla.Shell.html#Shell.__writeBanner" /> <keyword name="Shell.__writePrompt" id="Shell.__writePrompt" ref="eric6.QScintilla.Shell.html#Shell.__writePrompt" /> + <keyword name="Shell.__writeQueued" id="Shell.__writeQueued" ref="eric6.QScintilla.Shell.html#Shell.__writeQueued" /> <keyword name="Shell.__writeStdErr" id="Shell.__writeStdErr" ref="eric6.QScintilla.Shell.html#Shell.__writeStdErr" /> <keyword name="Shell.__writeStdOut" id="Shell.__writeStdOut" ref="eric6.QScintilla.Shell.html#Shell.__writeStdOut" /> <keyword name="Shell.clear" id="Shell.clear" ref="eric6.QScintilla.Shell.html#Shell.clear" />