diff -r 2fe91fe443dd -r 328f3ec4b77a src/eric7/Documentation/Source/eric7.UI.FindFileWidget.html
--- a/src/eric7/Documentation/Source/eric7.UI.FindFileWidget.html Thu Dec 21 15:46:22 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.UI.FindFileWidget.html Thu Dec 21 19:50:01 2023 +0100
@@ -651,7 +651,7 @@
</p>
<dl>
-<dt><i>text</i></dt>
+<dt><i>text</i> (str)</dt>
<dd>
(ignored)
</dd>
@@ -672,7 +672,7 @@
</p>
<dl>
-<dt><i>text</i></dt>
+<dt><i>text</i> (str)</dt>
<dd>
(ignored)
</dd>
@@ -708,7 +708,7 @@
</p>
<dl>
-<dt><i>text</i></dt>
+<dt><i>text</i> (str)</dt>
<dd>
(ignored)
</dd>
@@ -744,7 +744,7 @@
</p>
<dl>
-<dt><i>text</i></dt>
+<dt><i>text</i> (str)</dt>
<dd>
(ignored)
</dd>
