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 <h4>Effective proxy settings</h4> 25 <pre id=proxy-view-effective-settings></pre> 26 27 <h4>Original proxy settings</h4> 28 <pre id=proxy-view-original-settings></pre> 29 30 <div id=proxy-view-socks-hints> 31 Note that some traffic such as DNS prefetching will NOT go through the proxy 32 server. To prevent the browser from doing local DNS resolves try adding this 33 command line flag: 34 <pre id=proxy-view-socks-hints-flag></pre> 35 </div> 36 37 <div id=proxy-view-bad-proxies-div style='display: none'> 38 <h4> 39 Recently failed proxies, marked as bad 40 <input type=button value="Clear bad proxies" id=proxy-view-clear-bad-proxies class="hide-when-not-capturing"> 41 </h4> 42 <table class="styled-table"> 43 <thead> 44 <tr> 45 <th>Bad proxy server</th> 46 <th>Time for next retry</th> 47 </tr> 48 </thead> 49 <tbody id=proxy-view-bad-proxies-tbody></tbody> 50 </table> 51 </div> 52 </div> 53
