| Index: safari/ext/background.js |
| =================================================================== |
| --- a/safari/ext/background.js |
| +++ b/safari/ext/background.js |
| @@ -52,16 +52,21 @@ |
| this._tab.activate(); |
| }, |
| sendMessage: function(message, responseCallback) |
| { |
| this._messageProxy.sendMessage(message, responseCallback, {pageId: this._id}); |
| } |
| }; |
| + ext._getPage = function(id) |
| + { |
| + return pages[id]; |
| + }; |
| + |
| var isPageActive = function(page) |
| { |
| var tab = page._tab; |
| var win = tab.browserWindow; |
| return win && tab == win.activeTab && page == tab._visiblePage; |
| }; |
| var forgetPage = function(id) |