Side by Side Diff: devtools-panel.html
Issue 29573905:
Issue 4580 - Replace ext.devtools with devtools
Base URL: https://hg.adblockplus.org/adblockplusui/
Patch Set: Use Location.pathname
Created Oct. 18, 2017, 12:23 a.m.
| Left: | ||
| Right: |
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« desktop-options.js ('k')
|
devtools-panel.js » ('j')
|
ext/background.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 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <!-- | 2 <!-- |
| 3 - This file is part of Adblock Plus <https://adblockplus.org/>, | 3 - This file is part of Adblock Plus <https://adblockplus.org/>, |
| 4 - Copyright (C) 2006-present eyeo GmbH | 4 - Copyright (C) 2006-present eyeo GmbH |
| 5 - | 5 - |
| 6 - Adblock Plus is free software: you can redistribute it and/or modify | 6 - Adblock Plus is free software: you can redistribute it and/or modify |
| 7 - it under the terms of the GNU General Public License version 3 as | 7 - it under the terms of the GNU General Public License version 3 as |
| 8 - published by the Free Software Foundation. | 8 - published by the Free Software Foundation. |
| 9 - | 9 - |
| 10 - Adblock Plus is distributed in the hope that it will be useful, | 10 - Adblock Plus is distributed in the hope that it will be useful, |
| 11 - but WITHOUT ANY WARRANTY; without even the implied warranty of | 11 - but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 12 - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | 12 - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 13 - GNU General Public License for more details. | 13 - GNU General Public License for more details. |
| 14 - | 14 - |
| 15 - You should have received a copy of the GNU General Public License | 15 - You should have received a copy of the GNU General Public License |
| 16 - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. | 16 - along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
| 17 --> | 17 --> |
| 18 | 18 |
| 19 <html> | 19 <html> |
| 20 <head> | 20 <head> |
| 21 <meta charset="utf-8"> | 21 <meta charset="utf-8"> |
| 22 <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css"> | 22 <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css"> |
| 23 <script src="ext/common.js"></script> | 23 <script src="ext/common.js"></script> |
| 24 <script src="ext/content.js"></script> | 24 <script src="ext/content.js"></script> |
| 25 <script src="ext/devtools.js"></script> | |
| 26 <script src="devtools-panel.js"></script> | 25 <script src="devtools-panel.js"></script> |
| 27 </head> | 26 </head> |
| 28 <body> | 27 <body> |
| 29 <header> | 28 <header> |
| 30 <table> | 29 <table> |
| 31 <colgroup> | 30 <colgroup> |
| 32 <col> | 31 <col> |
| 33 <col> | 32 <col> |
| 34 <col> | 33 <col> |
| 35 </colgroup> | 34 </colgroup> |
| (...skipping 62 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 98 <div class="filter-wrapper"> | 97 <div class="filter-wrapper"> |
| 99 <div class="filter"> </div> | 98 <div class="filter"> </div> |
| 100 <div class="origin"> </div> | 99 <div class="origin"> </div> |
| 101 </div> | 100 </div> |
| 102 </div> | 101 </div> |
| 103 </td> | 102 </td> |
| 104 </tr> | 103 </tr> |
| 105 </template> | 104 </template> |
| 106 </body> | 105 </body> |
| 107 </html> | 106 </html> |
| OLD | NEW |
« no previous file with comments
|
« desktop-options.js ('k')
|
devtools-panel.js » ('j')
|
ext/background.js » ('J')
