Helpviewer/GreaseMonkey/GreaseMonkeyManager.py

changeset 3035
36e9f388958b
parent 3002
6ffc581f00f1
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3034:7ce719013078 3035:36e9f388958b
248 248
249 for script in self.__endScripts: 249 for script in self.__endScripts:
250 if script.match(urlString): 250 if script.match(urlString):
251 javascript = 'window.addEventListener("DOMContentLoaded",' \ 251 javascript = 'window.addEventListener("DOMContentLoaded",' \
252 'function(e) {{ {0} }}, false);'.format( 252 'function(e) {{ {0} }}, false);'.format(
253 bootstrap_js + script.script()) 253 bootstrap_js + script.script())
254 frame.evaluateJavaScript(javascript) 254 frame.evaluateJavaScript(javascript)
255 255
256 def __load(self): 256 def __load(self):
257 """ 257 """
258 Private slot to load the available scripts into the manager. 258 Private slot to load the available scripts into the manager.

eric ide

mercurial