Left: | ||
Right: |
OLD | NEW |
---|---|
(Empty) | |
1 <html> | |
Thomas Greiner
2015/01/12 10:37:54
License header and document type are missing
Sebastian Noack
2015/01/12 11:55:07
You are right. I wasn't aware that we add the GPL
Thomas Greiner
2015/01/16 18:17:21
Thank you. Just one more thing: We changed the pro
Sebastian Noack
2015/02/04 14:17:29
Done.
| |
2 <head> | |
3 <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css"> | |
4 <script type="application/javascript" src="ext/common.js"></script> | |
Thomas Greiner
2015/01/12 10:37:54
Declaring the type attribute is no longer necessar
Sebastian Noack
2015/01/12 11:55:07
Done.
| |
5 <script type="application/javascript" src="ext/devtools.js"></script> | |
6 <script type="application/javascript" src="devtools-panel.js"></script> | |
7 </head> | |
8 <body> | |
9 <div id="header"> | |
Thomas Greiner
2015/01/12 10:37:54
What about using <header> here instead?
Thomas Greiner
2015/01/12 10:37:54
The structure is a bit scattered so instead of
he
Sebastian Noack
2015/01/12 11:55:07
Done.
Sebastian Noack
2015/01/12 11:55:07
Initially I used that structure. But flexbox requi
Thomas Greiner
2015/01/16 18:17:21
That's a pity and seems like that's also how the D
| |
10 <table> | |
11 <tr> | |
12 <td colspan="2"> | |
13 Show | |
14 <select id="filter-state"> | |
15 <option value="">all</option> | |
16 <option>blocked</option> | |
17 <option>whitelisted</option> | |
18 </select> | |
19 items of | |
20 <select id="filter-type"> | |
21 <option value="">any</option> | |
22 <option>SUBDOCUMENT</option> | |
23 <option>IMAGE</option> | |
24 <option>STYLESHEET</option> | |
25 <option>SCRIPT</option> | |
26 <option>OBJECT</option> | |
27 <option>XMLHTTPREQUEST</option> | |
28 <option>POPUP</option> | |
29 <option>ELEMHIDE</option> | |
30 <option>OTHER</option> | |
Thomas Greiner
2015/01/12 10:37:54
I noticed that we also offer the following content
Sebastian Noack
2015/01/12 11:55:07
We don't have those types on Chrome/Opera/Safari.
| |
31 </select> | |
32 type | |
33 </td> | |
34 </tr> | |
35 <tr> | |
36 <td> | |
37 <div class="request-wrapper"> | |
38 <div class="url">Request</div> | |
39 <div class="domain">Document domain</div> | |
40 <div class="type">Type</div> | |
41 </div> | |
42 </td> | |
43 <td> | |
44 <div class="filter-wrapper"> | |
45 <div class="filter">Filter</div> | |
46 <div class="origin">Origin</div> | |
47 </div> | |
48 </td> | |
49 </tr> | |
50 </table> | |
51 </div> | |
52 <div id="items"> | |
53 <table></table> | |
54 </div> | |
55 <div id="footer"> | |
Thomas Greiner
2015/01/12 10:37:54
Same here with the <footer> tag
Sebastian Noack
2015/01/12 11:55:07
Done.
| |
56 <a id="reload">Reload</a> page to see effect of filter changes | |
57 </div> | |
58 </body> | |
59 </html> | |
OLD | NEW |