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 </style>
  11
  12 <div id=proxy-view-tab-content class=content-box>
  13   <h4>
  14     Current proxy settings
  15     <input type=button value="Re-apply settings" id=proxy-view-reload-settings class="hide-when-not-capturing">
  16   </h4>
  17
  18   <table><tr>
  19
  20   <td valign=top>
  21   <h3>Effective settings</h3>
  22   <pre id=proxy-view-effective-settings></pre>
  23   </td>
  24
  25   <td style='width: 30px'>&nbsp;</td>
  26
  27   <td valign=top>
  28   <h3>Original settings</h3>
  29   <pre id=proxy-view-original-settings></pre>
  30   </td>
  31
  32   </tr></table>
  33
  34   <h4>
  35     Recently failed proxies, marked as bad
  36     <input type=button value="Clear bad proxies" id=proxy-view-clear-bad-proxies class="hide-when-not-capturing">
  37   </h4>
  38   <table class="styled-table">
  39     <thead>
  40       <tr>
  41         <th>Bad proxy server</th>
  42         <th>Time for next retry</th>
  43       </tr>
  44     </thead>
  45     <tbody id=proxy-view-bad-proxies-tbody></tbody>
  46   </table>
  47 </div>