HTTPS-Everywhere updated to 5.1.1

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);
+}