diff options
Diffstat (limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/content/about.js')
-rw-r--r-- | data/extensions/https-everywhere-eff@eff.org/chrome/content/about.js | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/data/extensions/https-everywhere-eff@eff.org/chrome/content/about.js b/data/extensions/https-everywhere-eff@eff.org/chrome/content/about.js deleted file mode 100644 index 7a37815..0000000 --- a/data/extensions/https-everywhere-eff@eff.org/chrome/content/about.js +++ /dev/null @@ -1,14 +0,0 @@ -const CC = Components.classes; - -function window_opener(uri) { - // we don't use window.open, because we need to work around TorButton's state control - if(typeof gBrowser == "undefined"){ - var window = CC["@mozilla.org/appshell/window-mediator;1"].getService(Components.interfaces.nsIWindowMediator); - var browserWindow = window.getMostRecentWindow("navigator:browser").getBrowser(); - var newTab = browserWindow.addTab(uri, null, null); - browserWindow.selectedTab = newTab; - - } - else - gBrowser.selectedTab = gBrowser.addTab(uri); -} |