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, 14 insertions, 0 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 new file mode 100644 index 0000000..7a37815 --- /dev/null +++ b/data/extensions/https-everywhere-eff@eff.org/chrome/content/about.js @@ -0,0 +1,14 @@ +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); +} |