--- 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): """