Unified Diff: devtools-panel.html
Issue 29522650:
Issue 5316 - Adds dynamic filter types to devtools panel (Closed)
Patch Set: move OTHER filterType to end of array
Created Sept. 11, 2017, 10:36 a.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
devtools-panel.js » ('j')
|
messageResponder.js » ('J')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: devtools-panel.html |
| =================================================================== |
| --- a/devtools-panel.html |
| +++ b/devtools-panel.html |
| @@ -39,29 +39,16 @@ |
| <select id="filter-state"> |
| <option value="">all</option> |
| <option>blocked</option> |
| <option>whitelisted</option> |
| </select> |
| items of |
| <select id="filter-type"> |
| <option value="">any</option> |
| - <option>SUBDOCUMENT</option> |
| - <option>IMAGE</option> |
| - <option>STYLESHEET</option> |
| - <option>SCRIPT</option> |
| - <option>OBJECT</option> |
| - <option>XMLHTTPREQUEST</option> |
| - <option>FONT</option> |
| - <option>PING</option> |
| - <option>POPUP</option> |
| - <option>ELEMHIDE</option> |
| - <option>WEBSOCKET</option> |
| - <option>WEBRTC</option> |
| - <option>OTHER</option> |
| </select> |
| type |
| </td> |
| </tr> |
| <tr> |
| <td> |
| <div class="request-wrapper"> |
| <div class="url">Request</div> |
« no previous file with comments
|
« no previous file
|
devtools-panel.js » ('j')
|
messageResponder.js » ('J')
