| 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) |