| Index: safari/ext/popup.js | 
| =================================================================== | 
| new file mode 100644 | 
| --- /dev/null | 
| +++ b/safari/ext/popup.js | 
| @@ -0,0 +1,18 @@ | 
| +// 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); | 
| + | 
| +// 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. | 
| +with (safari.extension.globalPage.contentWindow) | 
| +{ | 
| +  this.ext = ext; | 
| +  this.TabMap = TabMap; | 
| +} | 
|  |