| OLD | NEW | 
|---|
| 1 with (safari.extension.globalPage.contentWindow) | 1 with (safari.extension.globalPage.contentWindow) | 
| 2 { | 2 { | 
| 3   this.ext = ext; | 3   this.ext = ext; | 
| 4   this.TabMap = TabMap; | 4   this.TabMap = TabMap; | 
| 5 } | 5 } | 
| 6 | 6 | 
| 7 // Safari will load the popover once, and then show it everytime the icon is | 7 // Safari will load the popover once, and then show it everytime the icon is | 
| 8 // clicked. While Chrome loads it everytime you click the icon. So in order to | 8 // clicked. While Chrome loads it everytime you click the icon. So in order to | 
| 9 // force the same behavior in Safari, we are going to reload the page of the | 9 // force the same behavior in Safari, we are going to reload the page of the | 
| 10 // bubble everytime it is shown. | 10 // bubble everytime it is shown. | 
| 11 safari.application.addEventListener("popover", function() | 11 safari.self.addEventListener("popover", function() | 
| 12 { | 12 { | 
| 13   document.documentElement.style.display = "none"; | 13   document.documentElement.style.display = "none"; | 
| 14   document.location.reload(); | 14   document.location.reload(); | 
| 15 }, true); | 15 }); | 
| 16 | 16 | 
| 17 // Safari doesn't hide popovers automatically, when we change the active tab | 17 // Safari doesn't hide popovers automatically, when we change the active tab | 
| 18 // programmatically, like when the options link is clicked. So we add an event | 18 // programmatically, like when the options link is clicked. So we add an event | 
| 19 // listener to do so. | 19 // listener to do so. | 
| 20 safari.application.addEventListener("activate", function() | 20 safari.application.addEventListener("activate", function() | 
| 21 { | 21 { | 
| 22   safari.self.hide(); | 22   safari.self.hide(); | 
| 23 }, true); | 23 }, true); | 
| 24 | 24 | 
| 25 // Safari doesn't adjust the size of the popover automatically to the size of | 25 // Safari doesn't adjust the size of the popover automatically to the size of | 
| 26 // its content, like when the ad counter is expanded/collapsed. So we add an | 26 // its content, like when the ad counter is expanded/collapsed. So we add an | 
| 27 // event listener to do so. | 27 // event listener to do so. | 
| 28 document.addEventListener("DOMSubtreeModified", function() | 28 document.addEventListener("DOMSubtreeModified", function() | 
| 29 { | 29 { | 
| 30   safari.self.width = document.body.offsetWidth; | 30   safari.self.width = document.body.offsetWidth; | 
| 31   safari.self.height = document.body.offsetHeight; | 31   safari.self.height = document.body.offsetHeight; | 
| 32 }); | 32 }); | 
| OLD | NEW | 
|---|