X-Git-Url: http://git.euphorik.ch/?p=pompage.git;a=blobdiff_plain;f=doc%2Fwebdeveloper%2Fabout%2Fabout.js;fp=doc%2Fwebdeveloper%2Fabout%2Fabout.js;h=0000000000000000000000000000000000000000;hp=b022f8cf12a297a6d20122ccec2840e51a5a7a20;hb=eb7467621891b71883916c90f91bddf4c38d615f;hpb=de6efc861c1f471125cb4d3ab3d0f82572b3d21b

diff --git a/doc/webdeveloper/about/about.js b/doc/webdeveloper/about/about.js
deleted file mode 100644
index b022f8c..0000000
--- a/doc/webdeveloper/about/about.js
+++ /dev/null
@@ -1,42 +0,0 @@
-// Opens the URL in a new tab
-function webdeveloper_openURL(urlElement)
-{
-    var parentWindow = null;
-    var url          = urlElement.firstChild.nodeValue;
-
-    // If there is a parent window
-    if(window.opener)
-    {
-        // If there is a grand parent window
-        if(window.opener.opener)
-        {
-            parentWindow = window.opener.opener;
-        }
-        else
-        {
-            parentWindow = window.opener;
-        }
-    }
-
-    // If a parent window was found
-    if(parentWindow)
-    {
-        // If the open in windows preference is set to true
-        if(webdeveloper_getBooleanPreference("webdeveloper.open.tabs", true))
-        {
-            var newTab = parentWindow.getBrowser().addTab(url);
-
-            // If the open tabs in background preference is not set or is set to false
-            if(!webdeveloper_getBooleanPreference("webdeveloper.open.tabs.background", true))
-            {
-                parentWindow.getBrowser().selectedTab = newTab;
-            }
-        }
-        else
-        {
-            parentWindow.open(url);
-        }
-
-        window.close();
-    }
-}