--- a/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonFileManagerWidget.html Wed Dec 20 11:06:38 2023 +0100 +++ b/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonFileManagerWidget.html Wed Dec 20 14:58:58 2023 +0100 @@ -506,7 +506,7 @@ <dd> name of the file to check </dd> -<dt><i>treeWidget</i></dt> +<dt><i>treeWidget</i> (QTreeWidget)</dt> <dd> reference to the tree widget to be checked against </dd>