Issue 1268 - Correctly mimic Chrome's behavior when opening the options page

safari/ext/background.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2014 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 634 matching lines @@
         // the current page is replaced with a prerendered page.
         replacePage(pages[event.message.pageId]);
         break;
     }
   });
 
 
   /* Storage */
 
   ext.storage = safari.extension.settings;
+
+
+  /* Options */
+
+  ext.showOptions = function(callback)
+  {
+    var optionsUrl = safari.extension.baseURI + "options.html";
+
+    for (var id in pages)
+    {
+      var page = pages[id];
+
+      if (page.url == optionsUrl && page._tab.browserWindow == safari.application.activeBrowserWindow)
+      {
+        page.activate();
+        if (callback)
+          callback(page);
+        return;
+      }
+    }
+
+    ext.pages.open(optionsUrl, callback);
+  };
 })();