chrome/browser/resources/net_internals/proxy_view.html

   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>