--- 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>