WebBrowser/GreaseMonkey/GreaseMonkeyManager.py

changeset 5726
e1dbd217214a
parent 5716
27a7c7064686
child 6048
82ad8ec9548c
equal deleted inserted replaced
5725:671561c52802 5726:e1dbd217214a
24 24
25 25
26 class GreaseMonkeyManager(QObject): 26 class GreaseMonkeyManager(QObject):
27 """ 27 """
28 Class implementing the manager for GreaseMonkey scripts. 28 Class implementing the manager for GreaseMonkey scripts.
29
30 @signal scriptsChanged() emitted to indicate a change of scripts
29 """ 31 """
30 scriptsChanged = pyqtSignal() 32 scriptsChanged = pyqtSignal()
31 33
32 def __init__(self, parent=None): 34 def __init__(self, parent=None):
33 """ 35 """

eric ide

mercurial