Documentation/Source/eric6.UI.LogView.html

changeset 6573
ccac2d1f6858
parent 4087
414a6fefc1f0
--- a/Documentation/Source/eric6.UI.LogView.html	Thu Nov 01 15:43:03 2018 +0100
+++ b/Documentation/Source/eric6.UI.LogView.html	Thu Nov 01 18:46:44 2018 +0100
@@ -307,35 +307,45 @@
         Public slot to handle a change of the preferences.
 </p><a NAME="LogViewerEdit.searchNext" ID="LogViewerEdit.searchNext"></a>
 <h4>LogViewerEdit.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 case sensitivity (boolean)
-</dd><dt><i>wholeWord</i></dt>
+flag indicating to perform a case sensitive
+            search
+</dd><dt><i>wholeWord</i> (bool)</dt>
 <dd>
-flag indicating a search for the whole word (boolean)
+flag indicating to search for whole words
+            only
+</dd><dt><i>regexp</i> (bool)</dt>
+<dd>
+flag indicating a regular expression search
 </dd>
 </dl><a NAME="LogViewerEdit.searchPrev" ID="LogViewerEdit.searchPrev"></a>
 <h4>LogViewerEdit.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 case sensitivity (boolean)
-</dd><dt><i>wholeWord</i></dt>
+flag indicating to perform a case sensitive
+            search
+</dd><dt><i>wholeWord</i> (bool)</dt>
 <dd>
-flag indicating a search for the whole word (boolean)
+flag indicating to search for whole words
+            only
+</dd><dt><i>regexp</i> (bool)</dt>
+<dd>
+flag indicating a regular expression search
 </dd>
 </dl>
 <div align="right"><a href="#top">Up</a></div>

eric ide

mercurial