--- a/Documentation/Help/source.qhp Mon Dec 18 18:09:39 2017 +0100 +++ b/Documentation/Help/source.qhp Tue Dec 19 19:46:23 2017 +0100 @@ -14033,6 +14033,7 @@ <keyword name="Shell.__find" id="Shell.__find" ref="eric6.QScintilla.Shell.html#Shell.__find" /> <keyword name="Shell.__getBanner" id="Shell.__getBanner" ref="eric6.QScintilla.Shell.html#Shell.__getBanner" /> <keyword name="Shell.__getEndPos" id="Shell.__getEndPos" ref="eric6.QScintilla.Shell.html#Shell.__getEndPos" /> + <keyword name="Shell.__indentLength" id="Shell.__indentLength" ref="eric6.QScintilla.Shell.html#Shell.__indentLength" /> <keyword name="Shell.__initialise" id="Shell.__initialise" ref="eric6.QScintilla.Shell.html#Shell.__initialise" /> <keyword name="Shell.__insertHistory" id="Shell.__insertHistory" ref="eric6.QScintilla.Shell.html#Shell.__insertHistory" /> <keyword name="Shell.__insertText" id="Shell.__insertText" ref="eric6.QScintilla.Shell.html#Shell.__insertText" />