diff -r dd7ed346b052 -r ccac2d1f6858 Documentation/Source/eric6.QScintilla.Shell.html
--- a/Documentation/Source/eric6.QScintilla.Shell.html Thu Nov 01 15:43:03 2018 +0100
+++ b/Documentation/Source/eric6.QScintilla.Shell.html Thu Nov 01 18:46:44 2018 +0100
@@ -1455,39 +1455,45 @@
</dd>
</dl><a NAME="Shell.searchNext" ID="Shell.searchNext"></a>
<h4>Shell.searchNext</h4>
-<b>searchNext</b>(<i>txt, caseSensitive, wholeWord</i>)
+<b>searchNext</b>(<i>txt, caseSensitive, wholeWord, regexp</i>)
<p>
Public method to search the next occurrence of the given text.
</p><dl>
-<dt><i>txt</i></dt>
+<dt><i>txt</i> (str)</dt>
<dd>
-text to search for (string)
-</dd><dt><i>caseSensitive</i></dt>
+text to search for
+</dd><dt><i>caseSensitive</i> (bool)</dt>
<dd>
flag indicating to perform a case sensitive
- search (boolean)
-</dd><dt><i>wholeWord</i></dt>
+ search
+</dd><dt><i>wholeWord</i> (bool)</dt>
<dd>
flag indicating to search for whole words
- only (boolean)
+ only
+</dd><dt><i>regexp</i> (bool)</dt>
+<dd>
+flag indicating a regular expression search
</dd>
</dl><a NAME="Shell.searchPrev" ID="Shell.searchPrev"></a>
<h4>Shell.searchPrev</h4>
-<b>searchPrev</b>(<i>txt, caseSensitive, wholeWord</i>)
+<b>searchPrev</b>(<i>txt, caseSensitive, wholeWord, regexp</i>)
<p>
Public method to search the previous occurrence of the given text.
</p><dl>
-<dt><i>txt</i></dt>
+<dt><i>txt</i> (str)</dt>
<dd>
-text to search for (string)
-</dd><dt><i>caseSensitive</i></dt>
+text to search for
+</dd><dt><i>caseSensitive</i> (bool)</dt>
<dd>
flag indicating to perform a case sensitive
- search (boolean)
-</dd><dt><i>wholeWord</i></dt>
+ search
+</dd><dt><i>wholeWord</i> (bool)</dt>
<dd>
flag indicating to search for whole words
- only (boolean)
+ only
+</dd><dt><i>regexp</i> (bool)</dt>
+<dd>
+flag indicating a regular expression search
</dd>
</dl><a NAME="Shell.selectHistory" ID="Shell.selectHistory"></a>
<h4>Shell.selectHistory</h4>
