OLD | NEW |
1 <html> | 1 <html> |
2 <!-- | 2 <!-- |
3 Copyright (c) 2010 The Chromium Authors. All rights reserved. | 3 Copyright (c) 2010 The Chromium Authors. All rights reserved. |
4 Use of this source code is governed by a BSD-style license that can be | 4 Use of this source code is governed by a BSD-style license that can be |
5 found in the LICENSE file. | 5 found in the LICENSE file. |
6 --> | 6 --> |
7 <head> | 7 <head> |
8 <link tyle="text/css" rel="stylesheet" href="main.css" /> | 8 <link tyle="text/css" rel="stylesheet" href="main.css" /> |
9 <script src="util.js"></script> | 9 <script src="util.js"></script> |
10 <script src="view.js"></script> | 10 <script src="view.js"></script> |
11 <script src="tabswitcherview.js"></script> | 11 <script src="tabswitcherview.js"></script> |
12 <script src="main.js"></script> | 12 <script src="main.js"></script> |
13 <script src="requestsview.js"></script> | 13 <script src="requestsview.js"></script> |
14 <script src="detailsview.js"></script> | 14 <script src="detailsview.js"></script> |
15 <script src="sourceentry.js"></script> | 15 <script src="sourceentry.js"></script> |
16 <script src="resizableverticalsplitview.js"></script> | 16 <script src="resizableverticalsplitview.js"></script> |
17 <script src="topmidbottomview.js"></script> | 17 <script src="topmidbottomview.js"></script> |
18 <script src="timelineviewpainter.js"></script> | 18 <script src="timelineviewpainter.js"></script> |
19 <script src="logviewpainter.js"></script> | 19 <script src="logviewpainter.js"></script> |
20 <script src="loggrouper.js"></script> | 20 <script src="loggrouper.js"></script> |
| 21 <script src="proxyview.js"></script> |
21 </head> | 22 </head> |
22 <body onload="onLoaded()"> | 23 <body onload="onLoaded()"> |
23 <!-- Tab switcher for main categories. --> | 24 <!-- Tab switcher for main categories. --> |
24 <div id=categoryTabHandles> | 25 <div id=categoryTabHandles> |
25 <ul> | 26 <ul> |
26 <li><a href="#" id=proxyTab>Proxy</a></li> | 27 <li><a href="#" id=proxyTab>Proxy</a></li> |
27 <li><a href="#" id=requestsTab>Requests</a></li> | 28 <li><a href="#" id=requestsTab>Requests</a></li> |
28 <li><a href="#" id=dnsTab>DNS</a></li> | 29 <li><a href="#" id=dnsTab>DNS</a></li> |
29 <li><a href="#" id=socketsTab>Sockets</a></li> | 30 <li><a href="#" id=socketsTab>Sockets</a></li> |
30 <li><a href="#" id=httpCacheTab>HTTP Cache</a></li> | 31 <li><a href="#" id=httpCacheTab>HTTP Cache</a></li> |
31 </ul> | 32 </ul> |
32 <div style="clear: both;"></div> | 33 <div style="clear: both;"></div> |
33 </div> | 34 </div> |
| 35 <!-- Proxy info --> |
| 36 <div id=proxyTabContent> |
| 37 <h4> |
| 38 Current proxy settings |
| 39 <input type=button value="Reload settings" id=proxyReloadSettings /> |
| 40 </h4> |
| 41 <pre id=proxyCurrentConfig></pre> |
| 42 |
| 43 <h4> |
| 44 Proxies which have failed recently, and are marked as bad |
| 45 <input type=button value="Clear bad proxies" id=clearBadProxies /> |
| 46 </h4> |
| 47 <table border=1> |
| 48 <thead> |
| 49 <th>Bad proxy server</th> |
| 50 <th>Time for next retry</th> |
| 51 </thead> |
| 52 <tbody id=badProxiesTableBody></tbody> |
| 53 </table> |
| 54 </div> |
34 <!-- Sections TODO --> | 55 <!-- Sections TODO --> |
35 <div id=proxyTabContent>TODO: display proxy information (PAC error log, init
ialization log, current settings.)</div> | |
36 <div id=dnsTabContent>TODO: display dns information (outstanding jobs, host
cache).</div> | 56 <div id=dnsTabContent>TODO: display dns information (outstanding jobs, host
cache).</div> |
37 <div id=socketsTabContent>TODO: display socket information (outstanding conn
ect jobs)</div> | 57 <div id=socketsTabContent>TODO: display socket information (outstanding conn
ect jobs)</div> |
38 <div id=httpCacheTabContent>TODO: display http cache information (disk cache
navigator)</div> | 58 <div id=httpCacheTabContent>TODO: display http cache information (disk cache
navigator)</div> |
39 | 59 |
40 <!-- ================= Requests view =================== --> | 60 <!-- ================= Requests view =================== --> |
41 | 61 |
42 <!-- Filter Box: This the top bar which contains the search box. --> | 62 <!-- Filter Box: This the top bar which contains the search box. --> |
43 <div id=filterBox> | 63 <div id=filterBox> |
44 <table width=100%> | 64 <table width=100%> |
45 <tr> | 65 <tr> |
(...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
79 <td class=tabSwitcherSpacer> </td> | 99 <td class=tabSwitcherSpacer> </td> |
80 <th id=detailsTimelineTab>Timeline</th> | 100 <th id=detailsTimelineTab>Timeline</th> |
81 </tr> | 101 </tr> |
82 </table> | 102 </table> |
83 <div class=tabSwitcherLine></div> | 103 <div class=tabSwitcherLine></div> |
84 </div> | 104 </div> |
85 <div id=detailsLogBox></div> | 105 <div id=detailsLogBox></div> |
86 <div id=detailsTimelineBox></div> | 106 <div id=detailsTimelineBox></div> |
87 </body> | 107 </body> |
88 </html> | 108 </html> |
OLD | NEW |