WebBrowser/GreaseMonkey/GreaseMonkeyManager.py

changeset 5726
e1dbd217214a
parent 5716
27a7c7064686
child 6048
82ad8ec9548c
--- 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()
     

eric ide

mercurial