| <!-- Proxy info --> |
| <dom-module id="proxy-view"> |
| <template> |
| <div id=proxy-view-tab-content class=content-box> |
| <div id=proxy-view-effective-content> |
| <h4>Effective proxy settings</h4> |
| <pre id=proxy-view-effective-settings></pre> |
| </div> |
| |
| <div id=proxy-view-original-content> |
| <h4>Original proxy settings</h4> |
| <pre id=proxy-view-original-settings></pre> |
| </div> |
| |
| <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</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> |
| </template> |
| <script> |
| Polymer({ |
| is: 'proxy-view', |
| }); |
| </script> |
| </dom-module> |
| |