WebBrowser/GreaseMonkey/GreaseMonkeyManager.py

changeset 6128
afc2cda1a743
parent 6120
4c60a21ce6dd
child 6645
ad476851d7e0
--- a/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py	Sat Feb 10 17:24:42 2018 +0100
+++ b/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py	Sat Feb 10 19:53:07 2018 +0100
@@ -21,6 +21,9 @@
 import Preferences
 
 from WebBrowser.WebBrowserWindow import WebBrowserWindow
+from WebBrowser.JavaScript.ExternalJsObject import ExternalJsObject
+
+from .GreaseMonkeyJsObject import GreaseMonkeyJsObject
 
 
 class GreaseMonkeyManager(QObject):
@@ -43,6 +46,8 @@
         self.__scripts = []
         self.__downloaders = []
         
+        self.__jsObject = GreaseMonkeyJsObject(self)
+        
         QTimer.singleShot(0, self.__load)
     
     def showConfigurationDialog(self, parent=None):
@@ -322,6 +327,11 @@
             else:
                 collection = WebBrowserWindow.webProfile().scripts()
                 collection.insert(script.webScript())
+        
+        self.__jsObject.setSettingsFile(os.path.join(
+            Utilities.getConfigDir(), "web_browser",
+            "greasemonkey_values.ini"))
+        ExternalJsObject.registerExtraObject("GreaseMonkey", self.__jsObject)
     
     def __scriptChanged(self, script):
         """

eric ide

mercurial