diff options
author | hackademix | 2019-04-29 09:43:14 +0200 |
---|---|---|
committer | hackademix | 2019-04-29 09:43:14 +0200 |
commit | 0c2df08d783549f74801e060d5656f9f1f7f22ac (patch) | |
tree | fb1c79d56eb1f77168f1c1fa51a1d34a8757814d /src/bg | |
parent | 225ce1e6c8bad3704bb00ec24011362de8a54080 (diff) | |
download | noscript-0c2df08d783549f74801e060d5656f9f1f7f22ac.tar.gz noscript-0c2df08d783549f74801e060d5656f9f1f7f22ac.tar.xz noscript-0c2df08d783549f74801e060d5656f9f1f7f22ac.zip |
Reference internal pages as absolute URLs for Chromium compatibility.
Diffstat (limited to 'src/bg')
-rw-r--r-- | src/bg/Settings.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/bg/Settings.js b/src/bg/Settings.js index 28f880e..4fa83d0 100644 --- a/src/bg/Settings.js +++ b/src/bg/Settings.js @@ -180,7 +180,9 @@ var Settings = { async reloadOptionsUI() { try { - for (let t of await browser.tabs.query({url: browser.runtime.getManifest().options_ui.page })) { + for (let t of await browser.tabs.query({url: browser.extension.getURL( + browser.runtime.getManifest().options_ui.page) }) + ) { browser.tabs.reload(t.id); }; } catch (e) { |