Hide bubble when opening options page in Safari

safari/ext/popup.js

 with (safari.extension.globalPage.contentWindow)
 {
   this.ext = ext;
   this.TabMap = TabMap;
 }
 
 // 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
 // force the same behavior in Safari, we are going to reload the page of the
 // bubble everytime it is shown.
 safari.application.addEventListener("popover", function()
 {
   document.documentElement.style.display = "none";
   document.location.reload();
 }, true);
 
 // 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);
-