Rietveld Code Review Tool
Help | Bug tracker | Discussion group | Source code

Side by Side Diff: devtools-panel.js

Issue 29573083: Issue 5028 - Use browser namespace (Closed) Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Created Oct. 10, 2017, 10:24 p.m.
Left:
Right:
Use n/p to move between diff chunks; N/P to move between comments.
Jump to:
View unified diff | Download patch
« no previous file with comments | « devtools-panel.html ('k') | ext/common.js » ('j') | ext/common.js » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
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);
OLDNEW
« no previous file with comments | « devtools-panel.html ('k') | ext/common.js » ('j') | ext/common.js » ('J')

Powered by Google App Engine
This is Rietveld