Side by Side Diff: skin/devtools-panel.css
Issue 29362522:
Issue 4644 - Filter requests in devtools panel by search string (Closed)
Patch Set: Allow filtering by request type
Created Nov. 14, 2016, 8:03 p.m.
| Left: | ||
| Right: |
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« devtools-panel.js ('k')
|
no next file »
|
no next file with comments »
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 { | 2 { |
| 3 font-family: 'Lucida Grande', 'Segoe UI', Ubuntu, Tahoma, Arial, sans-serif; | 3 font-family: 'Lucida Grande', 'Segoe UI', Ubuntu, Tahoma, Arial, sans-serif; |
| 4 font-size: 11px; | 4 font-size: 11px; |
| 5 box-sizing: border-box; | 5 box-sizing: border-box; |
| 6 } | 6 } |
| 7 | 7 |
| 8 html | 8 html |
| 9 { | 9 { |
| 10 height: 100%; | 10 height: 100%; |
| (...skipping 188 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 199 margin-bottom: 0; | 199 margin-bottom: 0; |
| 200 transition: margin-bottom 0.5s; | 200 transition: margin-bottom 0.5s; |
| 201 } | 201 } |
| 202 | 202 |
| 203 #reload | 203 #reload |
| 204 { | 204 { |
| 205 color: blue; | 205 color: blue; |
| 206 text-decoration: underline; | 206 text-decoration: underline; |
| 207 cursor: pointer; | 207 cursor: pointer; |
| 208 } | 208 } |
| 209 | |
| 210 .filtered-by-search | |
| 211 { | |
| 212 display: none; | |
| 213 } | |
| OLD | NEW |
« no previous file with comments
|
« devtools-panel.js ('k')
|
no next file »
|
no next file with comments »
