WebBrowser/Tools/Scripts.py

changeset 6129
049ab6ad3144
parent 6127
128d9567a533
child 6135
12e48d27f1d7
diff -r afc2cda1a743 -r 049ab6ad3144 WebBrowser/Tools/Scripts.py
--- 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(

eric ide

mercurial