Relocated icon and redesigned icon popup

safari/background.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2013 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 59 matching lines @@
     },
     close: function()
     {
       this._tab.close();
     },
     activate: function()
     {
       this._tab.activate();
     },
     sendMessage: sendMessage,
-    pageAction: {
-      // there are no page actions in safari, so we use toolbar items instead
+    browserAction: {
       setIcon: function(path)
       {
         safari.extension.toolbarItems[0].image = safari.extension.baseURI + path;
       },
       setTitle: function(title)
       {
         safari.extension.toolbarItems[0].toolTip = title;
       },
+      setBadgeNumber: function(number)
+      {
+        safari.extension.toolbarItems[0].badge = (number === null) ? 0 : number;
+      },
 
-      // toolbar items in safari can"t get hidden
+      // Safari does not provide these functionalities

[Wladimir Palant, 2013/12/03 12:55:43]

Seeing the plural of functionality is weird, even though that word apparently
does have a plural. I would rather say: "The following features aren't supported
by Safari."

[Thomas Greiner, 2013/12/04 10:44:50]

Done.

       hide: function() {},
-      show: function() {}
+      show: function() {},
+      setBadgeBackgroundColor: function(color) {}
     }
   };
 
   TabMap = function()
   {
     this._tabs = [];
     this._values = [];
 
     this._onClosed = this._onClosed.bind(this);
   };
@@ skipping 422 matching lines @@
   // clicked. While Chrome loads it everytime you click the icon. So in order to
   // force the same behavior in Safari, we are going to reload the page of the
   // bubble everytime it is shown.
   if (safari.extension.globalPage.contentWindow != window)
     safari.application.addEventListener("popover", function()
     {
       document.documentElement.style.display = "none";
       document.location.reload();
     }, true);
 })();