Index: ext/background.js |
=================================================================== |
--- a/ext/background.js |
+++ b/ext/background.js |
@@ -741,17 +741,17 @@ |
// https://developer.microsoft.com/en-us/microsoft-edge/platform/issues/10276332/ |
let optionsUrl = "options.html"; |
let fullOptionsUrl = ext.getURL(optionsUrl); |
chrome.tabs.query({}, tabs => |
{ |
// We find a tab ourselves because Edge has a bug when quering tabs |
// with extension URL protocol: |
- // https://developer.microsoft.com/en-us/microsoft-edge/platform/issues/8094141/ |
+ // https://developer.microsoft.com/en-us/microsoft-edge/platform/issues/8094141/ |
hub
2017/09/01 20:41:36
only here to pass eslint (trailing space)
|
// https://developer.microsoft.com/en-us/microsoft-edge/platform/issues/8604703/ |
let tab = tabs.find(element => element.url == fullOptionsUrl); |
if (tab) |
{ |
chrome.windows.update(tab.windowId, {focused: true}); |
chrome.tabs.update(tab.id, {active: true}); |
if (callback) |