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 class="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-proxies 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
