Index: safari/ext/background.js |
diff --git a/safari/ext/background.js b/safari/ext/background.js |
index 2c3d5ec9aa8fd4b992efd1e8d38e493cc21b2ca5..706a76b684d3bf7cb8d007cd288751dba107b0ca 100644 |
--- a/safari/ext/background.js |
+++ b/safari/ext/background.js |
@@ -222,6 +222,8 @@ |
var forgetPage = function(id) |
{ |
+ ext.pages.onRemoved._dispatch(id); |
+ |
ext._removeFromAllPageMaps(id); |
delete pages[id]._tab._pages[id]; |
@@ -305,6 +307,7 @@ |
}, |
onLoading: new ext._EventTarget(), |
onActivated: new ext._EventTarget(), |
+ onRemoved: new ext._EventTarget() |
}; |
safari.application.addEventListener("close", function(event) |
@@ -754,4 +757,15 @@ |
ext.pages.open(optionsUrl, callback); |
}; |
+ |
+ /* Windows */ |
+ ext.windows = { |
+ // Safari doesn't provide as rich a windows API as Chrome does, so instead |
+ // of chrome.windows.create we have to fall back to just opening a new tab. |
+ create: function(createData, callback) |
+ { |
+ if (createData && createData.url) |
Sebastian Noack
2016/02/10 12:26:57
Just assume the URL to be given? If it's missing,
kzar
2016/02/10 14:20:17
Done.
|
+ ext.pages.open(createData.url, callback); |
+ } |
+ }; |
})(); |