Helpviewer/GreaseMonkey/GreaseMonkeyManager.py

changeset 3035
36e9f388958b
parent 3002
6ffc581f00f1
child 3060
5883ce99ee12
child 3160
209a07d7e401
diff -r 7ce719013078 -r 36e9f388958b Helpviewer/GreaseMonkey/GreaseMonkeyManager.py
--- a/Helpviewer/GreaseMonkey/GreaseMonkeyManager.py	Sat Oct 19 13:03:39 2013 +0200
+++ b/Helpviewer/GreaseMonkey/GreaseMonkeyManager.py	Sat Oct 19 14:05:26 2013 +0200
@@ -250,7 +250,7 @@
             if script.match(urlString):
                 javascript = 'window.addEventListener("DOMContentLoaded",' \
                     'function(e) {{ {0} }}, false);'.format(
-                    bootstrap_js + script.script())
+                        bootstrap_js + script.script())
                 frame.evaluateJavaScript(javascript)
     
     def __load(self):

eric ide

mercurial