Let popup reload when it is shown, after it was programatically closed, on Safari

safari/ext/popup.js

Index: safari/ext/popup.js
===================================================================
--- a/safari/ext/popup.js
+++ b/safari/ext/popup.js
@@ -7,13 +7,13 @@
   // popover when the background page wasn't ready yet, since we have to access
   // the background page in the popover.
   var backgroundPage = safari.extension.globalPage.contentWindow;
-  var readyState = backgroundPage.document.readyState;
+  var valid = backgroundPage.document.readyState == "complete";
   var activeTab = safari.application.activeBrowserWindow.activeTab;
   var stopResizing = function() {};
 
   safari.self.addEventListener("popover", function()
   {
-    if (activeTab != safari.application.activeBrowserWindow.activeTab || readyState != "complete")
+    if (!valid || activeTab != safari.application.activeBrowserWindow.activeTab)
     {
       stopResizing();
       document.documentElement.style.display = "none";
@@ -78,6 +78,7 @@
     closePopup: function()
     {
       safari.self.hide();
+      valid = false;
     }
   };
   window.TabMap = backgroundPage.TabMap;