| Index: safari/ext/background.js |
| diff --git a/safari/ext/background.js b/safari/ext/background.js |
| index e1285516406776154d86338e2b40e47d955d0379..02df04739b07994f017bf2fe74a210f88803b13a 100644 |
| --- a/safari/ext/background.js |
| +++ b/safari/ext/background.js |
| @@ -588,17 +588,14 @@ |
| /* Options */ |
| - |
| - ext.showOptions = function(callback) |
| + ext.showPage = function(url, callback) |
| { |
| - var optionsUrl = safari.extension.baseURI + "options.html"; |
| - |
| for (var id in pages) |
| { |
| var page = pages[id]; |
| var tab = page._tab; |
| - if (page.url.href == optionsUrl && tab.browserWindow == safari.application.activeBrowserWindow) |
| + if (page.url.href == url && tab.browserWindow == safari.application.activeBrowserWindow) |
|
Sebastian Noack
2018/07/13 18:04:18
I just figured, this wouldn't work anyway as expec
Sebastian Noack
2018/07/13 18:06:37
Ignore that comment. It actually would work, since
kzar
2018/07/13 18:44:04
Yes, I originally made that mistake but noticed it
|
| { |
| tab.activate(); |
| if (callback) |
| @@ -607,9 +604,11 @@ |
| } |
| } |
| - ext.pages.open(optionsUrl, callback); |
| + ext.pages.open(url, callback); |
| }; |
| + ext.showOptions = ext.showPage.bind(this, safari.extension.baseURI + "options.html"); |
| + |
| /* Windows */ |
| ext.windows = { |
| // Safari doesn't provide as rich a windows API as Chrome does, so instead |