| 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; |
| })(); |