--- a/src/eric7/WebBrowser/GreaseMonkey/GreaseMonkeyAddScriptDialog.py Fri Dec 22 13:57:47 2023 +0100 +++ b/src/eric7/WebBrowser/GreaseMonkey/GreaseMonkeyAddScriptDialog.py Fri Dec 22 17:24:07 2023 +0100 @@ -31,9 +31,11 @@ Constructor @param manager reference to the GreaseMonkey manager - (GreaseMonkeyManager) - @param script GreaseMonkey script to be added (GreaseMonkeyScript) - @param parent reference to the parent widget (QWidget) + @type GreaseMonkeyManager + @param script GreaseMonkey script to be added + @type GreaseMonkeyScript + @param parent reference to the parent widget + @type QWidget """ super().__init__(parent) self.setupUi(self)