OLD | NEW |
(Empty) | |
| 1 <!-- Proxy info --> |
| 2 |
| 3 <style> |
| 4 |
| 5 #proxy-view-tab-content td, |
| 6 #proxy-view-tab-content th { |
| 7 font-size: 85%; |
| 8 } |
| 9 |
| 10 #proxy-view-socks-hints { |
| 11 border: 1px solid orange; |
| 12 padding: 1ex; |
| 13 } |
| 14 |
| 15 #proxy-view-socks-hints-flag { |
| 16 margin: 1ex; |
| 17 } |
| 18 |
| 19 </style> |
| 20 |
| 21 <div id=proxy-view-tab-content class=content-box> |
| 22 <input type=button value="Re-apply settings" id=proxy-view-reload-settings clas
s="hide-when-not-capturing"> |
| 23 |
| 24 <div id=proxy-view-effective-content> |
| 25 <h4>Effective proxy settings</h4> |
| 26 <pre id=proxy-view-effective-settings></pre> |
| 27 </div> |
| 28 |
| 29 <div id=proxy-view-original-content> |
| 30 <h4>Original proxy settings</h4> |
| 31 <pre id=proxy-view-original-settings></pre> |
| 32 </div> |
| 33 |
| 34 <div id=proxy-view-socks-hints> |
| 35 Note that some traffic such as DNS prefetching will NOT go through the proxy |
| 36 server. To prevent the browser from doing local DNS resolves try adding this |
| 37 command line flag: |
| 38 <pre id=proxy-view-socks-hints-flag></pre> |
| 39 </div> |
| 40 |
| 41 <div id=proxy-view-bad-proxies-div style='display: none'> |
| 42 <h4> |
| 43 Recently failed proxies, marked as bad |
| 44 <input type=button value="Clear bad proxies" id=proxy-view-clear-bad-proxi
es class="hide-when-not-capturing"> |
| 45 </h4> |
| 46 <table class="styled-table"> |
| 47 <thead> |
| 48 <tr> |
| 49 <th>Bad proxy server</th> |
| 50 <th>Time for next retry</th> |
| 51 </tr> |
| 52 </thead> |
| 53 <tbody id=proxy-view-bad-proxies-tbody></tbody> |
| 54 </table> |
| 55 </div> |
| 56 </div> |
| 57 |
OLD | NEW |