--- a/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py Fri May 05 19:05:26 2017 +0200 +++ b/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py Fri May 05 19:06:52 2017 +0200 @@ -26,6 +26,8 @@ class GreaseMonkeyManager(QObject): """ Class implementing the manager for GreaseMonkey scripts. + + @signal scriptsChanged() emitted to indicate a change of scripts """ scriptsChanged = pyqtSignal()