Reload popover on Safari every time it is shown

safari/ext/popup.js

 (function()
 {
-  // Safari will load the popover once, and then show it everytime the icon is
-  // clicked. While Chrome loads it everytime you click the icon. So in order to
-  // make the popover show the right state and details, we have to emulate the
-  // same behavior as on Chrome, by reloading the popover every time it is shown.
-  safari.self.addEventListener("popover", function()
-  {
-    mayResize = false;
-    document.documentElement.style.display = "none";
-    document.location.reload();
-  });
-
-
   // Safari doesn't adjust the size of the popover automatically to the size
   // of its content, like when the ad counter is expanded/collapsed. So we add
   // event listeners to do so.
   var mayResize = true;

[Wladimir Palant, 2014/01/23 13:40:54]

Nit: I don't really like this variable being used before declaration in popover
listener, even though this is valid in JavaScript. Maybe move the popover
listener down?

[Sebastian Noack, 2014/01/23 14:00:34]

Done.

 
   var updateSize = function()
   {
     if (mayResize)
     {
       safari.self.width = document.body.offsetWidth;
       safari.self.height = document.body.offsetHeight;
     }
   };
 
   window.addEventListener("load", function()
   {
     updateSize();
 
     var MutationObserver = window.MutationObserver || window.WebKitMutationObserver;
     if (MutationObserver)
     {
       new MutationObserver(updateSize).observe(document, {
         childList: true, attributes: true,
         characterData: true, subtree: true
       });
     }
     else
       document.addEventListener("DOMSubtreeModified", updateSize);
   });
 
 
+  // Safari will load the popover once, and then show it everytime the icon is
+  // clicked. While Chrome loads it everytime you click the icon. So in order to
+  // make the popover show the right state and details, we have to emulate the
+  // same behavior as on Chrome, by reloading the popover every time it is shown.
+  safari.self.addEventListener("popover", function()
+  {
+    mayResize = false;
+    document.documentElement.style.display = "none";
+    document.location.reload();
+  });
+
+
   // Safari doesn't hide popovers automatically, when we change the active tab
   // programmatically, like when the options link is clicked. So we add an event
   // listener to do so.
   safari.application.addEventListener("activate", function()
   {
     safari.self.hide();
   }, true);
 
 
   // import ext into the javascript context of the popover. This code might fail,
   // when the background page isn't ready yet. So it is important to put it below
   // the reloading code above.
   var backgroundPage = safari.extension.globalPage.contentWindow;
 
   window.ext = {
     __proto__: backgroundPage.ext,
     closePopup: function()
     {
       safari.self.hide();
     }
   };
   window.TabMap = backgroundPage.TabMap;
 })();