Side by Side Diff: devtools-panel.js
Issue 29573083:
Issue 5028 - Use browser namespace (Closed)
Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Remove check for window.browser
Created Oct. 13, 2017, 4:59 a.m.
| Left: | ||
| Right: |
Use n/p to move between diff chunks;
N/P to move between comments.
« desktop-options.js ('K')
|
« devtools-panel.html ('k')
|
ext/common.js » ('j')
|
polyfill.js » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| OLD | NEW |
|---|---|
| 1 /* | 1 /* |
| 2 * This file is part of Adblock Plus <https://adblockplus.org/>, | 2 * This file is part of Adblock Plus <https://adblockplus.org/>, |
| 3 * Copyright (C) 2006-present eyeo GmbH | 3 * Copyright (C) 2006-present eyeo GmbH |
| 4 * | 4 * |
| 5 * Adblock Plus is free software: you can redistribute it and/or modify | 5 * Adblock Plus is free software: you can redistribute it and/or modify |
| 6 * it under the terms of the GNU General Public License version 3 as | 6 * it under the terms of the GNU General Public License version 3 as |
| 7 * published by the Free Software Foundation. | 7 * published by the Free Software Foundation. |
| 8 * | 8 * |
| 9 * Adblock Plus is distributed in the hope that it will be useful, | 9 * Adblock Plus is distributed in the hope that it will be useful, |
| 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of | 10 * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| (...skipping 236 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 247 case "cancelSearch": | 247 case "cancelSearch": |
| 248 cancelSearch(table); | 248 cancelSearch(table); |
| 249 lastFilterQuery = null; | 249 lastFilterQuery = null; |
| 250 break; | 250 break; |
| 251 } | 251 } |
| 252 }); | 252 }); |
| 253 | 253 |
| 254 // Since Chrome 54 the themeName is accessible, for earlier versions we must | 254 // Since Chrome 54 the themeName is accessible, for earlier versions we must |
| 255 // assume the default theme is being used. | 255 // assume the default theme is being used. |
| 256 // https://bugs.chromium.org/p/chromium/issues/detail?id=608869 | 256 // https://bugs.chromium.org/p/chromium/issues/detail?id=608869 |
| 257 let theme = chrome.devtools.panels.themeName || "default"; | 257 let theme = browser.devtools.panels.themeName || "default"; |
| 258 document.body.classList.add(theme); | 258 document.body.classList.add(theme); |
| 259 }, false); | 259 }, false); |
| OLD | NEW |
« desktop-options.js ('K')
|
« devtools-panel.html ('k')
|
ext/common.js » ('j')
|
polyfill.js » ('J')
