--- a/src/eric7/Documentation/Source/eric7.WebBrowser.GreaseMonkey.GreaseMonkeyManager.html Wed Nov 09 15:17:05 2022 +0100 +++ b/src/eric7/Documentation/Source/eric7.WebBrowser.GreaseMonkey.GreaseMonkeyManager.html Wed Nov 09 15:18:07 2022 +0100 @@ -415,9 +415,9 @@ </p> <dl> -<dt><i>parent</i></dt> +<dt><i>parent</i> (QWidget)</dt> <dd> -reference to the parent widget (QWidget) +reference to the parent widget </dd> </dl> <div align="right"><a href="#top">Up</a></div>