Sun, 11 Feb 2018 12:49:27 +0100
Some more GreaseMonkey changes.
WebBrowser/Tools/Scripts.py | file | annotate | diff | comparison | revisions | |
WebBrowser/data/html/speeddialPage.html | file | annotate | diff | comparison | revisions |
--- a/WebBrowser/Tools/Scripts.py Sat Feb 10 19:53:07 2018 +0100 +++ b/WebBrowser/Tools/Scripts.py Sun Feb 11 12:49:27 2018 +0100 @@ -35,12 +35,13 @@ if (window.external) {{ var event = document.createEvent('Event'); event.initEvent('_eric_external_created', true, true); + window._eric_external = true; document.dispatchEvent(event); }} }} if (self !== top) {{ - if (top.external) + if (top._eric_external) registerExternal(top.external); else top.document.addEventListener(
--- a/WebBrowser/data/html/speeddialPage.html Sat Feb 10 19:53:07 2018 +0100 +++ b/WebBrowser/data/html/speeddialPage.html Sun Feb 11 12:49:27 2018 +0100 @@ -568,11 +568,6 @@ <script type="text/javascript"> function init() { - if (!external.speedDial) { - setTimeout(init, 50); - return; - } - @INITIAL-SCRIPT@ external.speedDial.pagesChanged.connect(function() { @@ -602,7 +597,7 @@ } // Initialize - if (window.external) { + if (window._eric_external) { init(); } else { document.addEventListener('_eric_external_created', init);