| <!-- Proxy info --> |
| |
| <style> |
| |
| #proxy-view-tab-content td, |
| #proxy-view-tab-content th { |
| font-size: 85%; |
| } |
| |
| #proxy-view-socks-hints { |
| border: 1px solid orange; |
| padding: 1ex; |
| } |
| |
| #proxy-view-socks-hints-flag { |
| margin: 1ex; |
| } |
| |
| </style> |
| |
| <div id=proxy-view-tab-content class=content-box> |
| <input type=button value="Re-apply settings" id=proxy-view-reload-settings class="hide-when-not-capturing"> |
| |
| <h4>Effective proxy settings</h4> |
| <pre id=proxy-view-effective-settings></pre> |
| |
| <h4>Original proxy settings</h4> |
| <pre id=proxy-view-original-settings></pre> |
| |
| <div id=proxy-view-socks-hints> |
| Note that some traffic such as DNS prefetching will NOT go through the proxy |
| server. To prevent the browser from doing local DNS resolves try adding this |
| command line flag: |
| <pre id=proxy-view-socks-hints-flag></pre> |
| </div> |
| |
| <div id=proxy-view-bad-proxies-div style='display: none'> |
| <h4> |
| Recently failed proxies, marked as bad |
| <input type=button value="Clear bad proxies" id=proxy-view-clear-bad-proxies class="hide-when-not-capturing"> |
| </h4> |
| <table class="styled-table"> |
| <thead> |
| <tr> |
| <th>Bad proxy server</th> |
| <th>Time for next retry</th> |
| </tr> |
| </thead> |
| <tbody id=proxy-view-bad-proxies-tbody></tbody> |
| </table> |
| </div> |
| </div> |