Index: safari/ext/popup.js |
=================================================================== |
--- a/safari/ext/popup.js |
+++ b/safari/ext/popup.js |
@@ -14,6 +14,12 @@ |
// when the background page isn't ready yet. So it is important to put it below |
// the reloading code above. |
var backgroundPage = safari.extension.globalPage.contentWindow; |
- window.ext = backgroundPage.ext; |
+ window.ext = { |
+ __proto__: backgroundPage.ext, |
+ closePopup: function() |
+ { |
+ safari.self.hide(); |
+ } |
+ }; |
window.TabMap = backgroundPage.TabMap; |
})(); |