--- 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(