| OLD | NEW | 
|---|
| (Empty) |  | 
|  | 1 // Safari will load the popover once, and then show it everytime the icon is | 
|  | 2 // clicked. While Chrome loads it everytime you click the icon. So in order to | 
|  | 3 // force the same behavior in Safari, we are going to reload the page of the | 
|  | 4 // bubble everytime it is shown. | 
|  | 5 safari.application.addEventListener("popover", function() | 
|  | 6 { | 
|  | 7   document.documentElement.style.display = "none"; | 
|  | 8   document.location.reload(); | 
|  | 9 }, true); | 
|  | 10 | 
|  | 11 // import ext into the javascript context of the popover. This code might fail, | 
|  | 12 // when the background page isn't ready yet. So it is important to put it below | 
|  | 13 // the reloading code above. | 
|  | 14 with (safari.extension.globalPage.contentWindow) | 
|  | 15 { | 
|  | 16   this.ext = ext; | 
|  | 17   this.TabMap = TabMap; | 
|  | 18 } | 
| OLD | NEW | 
|---|