OLD | NEW |
1 <!-- | 1 <!-- |
2 Copyright (c) 2009 The Chromium Authors. All rights reserved. | 2 Copyright (c) 2009 The Chromium Authors. All rights reserved. |
3 | 3 |
4 This is the Chromium version of the WebInspector. This html file serves | 4 This is the Chromium version of the WebInspector. This html file serves |
5 as a deployment descriptor and specifies which js libraries to include into the | 5 as a deployment descriptor and specifies which js libraries to include into the |
6 app. Once the "main" frontend method that is building WebInspector | 6 app. Once the "main" frontend method that is building WebInspector |
7 from the js building blocks is extracted, we will be able have different | 7 from the js building blocks is extracted, we will be able have different |
8 implementations of it for Chromium and WebKit. That would allow us for | 8 implementations of it for Chromium and WebKit. That would allow us for |
9 example not to create WebKit Database tab and remove corresponding js files | 9 example not to create WebKit Database tab and remove corresponding js files |
10 from here. Longer term we would like to employ closure + basic js compilation. | 10 from here. Longer term we would like to employ closure + basic js compilation. |
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
43 <head> | 43 <head> |
44 <meta http-equiv="content-type" content="text/html; charset=utf-8"> | 44 <meta http-equiv="content-type" content="text/html; charset=utf-8"> |
45 <link rel="stylesheet" type="text/css" href="inspector.css"> | 45 <link rel="stylesheet" type="text/css" href="inspector.css"> |
46 <script type="text/javascript" src="base.js"></script> | 46 <script type="text/javascript" src="base.js"></script> |
47 <script type="text/javascript" src="json.js"></script> | 47 <script type="text/javascript" src="json.js"></script> |
48 <script type="text/javascript" src="utilities.js"></script> | 48 <script type="text/javascript" src="utilities.js"></script> |
49 <script type="text/javascript" src="treeoutline.js"></script> | 49 <script type="text/javascript" src="treeoutline.js"></script> |
50 <script type="text/javascript" src="devtools_callback.js"></script> | 50 <script type="text/javascript" src="devtools_callback.js"></script> |
51 <script type="text/javascript" src="debugger_agent.js"></script> | 51 <script type="text/javascript" src="debugger_agent.js"></script> |
52 <script type="text/javascript" src="dom_agent.js"></script> | 52 <script type="text/javascript" src="dom_agent.js"></script> |
53 <script type="text/javascript" src="net_agent.js"></script> | |
54 <script type="text/javascript" src="inspector_controller.js"></script> | 53 <script type="text/javascript" src="inspector_controller.js"></script> |
55 <script type="text/javascript" src="inspector_controller_impl.js"></script> | 54 <script type="text/javascript" src="inspector_controller_impl.js"></script> |
56 <script type="text/javascript" src="inspector.js"></script> | 55 <script type="text/javascript" src="inspector.js"></script> |
57 <script type="text/javascript" src="codemap.js"></script> | 56 <script type="text/javascript" src="codemap.js"></script> |
58 <script type="text/javascript" src="consarray.js"></script> | 57 <script type="text/javascript" src="consarray.js"></script> |
59 <script type="text/javascript" src="csvparser.js"></script> | 58 <script type="text/javascript" src="csvparser.js"></script> |
60 <script type="text/javascript" src="profile.js"></script> | 59 <script type="text/javascript" src="profile.js"></script> |
61 <script type="text/javascript" src="profile_view.js"></script> | 60 <script type="text/javascript" src="profile_view.js"></script> |
62 <script type="text/javascript" src="profiler_processor.js"></script> | 61 <script type="text/javascript" src="profiler_processor.js"></script> |
63 <script type="text/javascript" src="splaytree.js"></script> | 62 <script type="text/javascript" src="splaytree.js"></script> |
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
116 <div id="main"> | 115 <div id="main"> |
117 <div id="main-panels" tabindex="0"></div> | 116 <div id="main-panels" tabindex="0"></div> |
118 <div id="main-status-bar" class="status-bar"><div id="anchored-status-ba
r-items"><button id="dock-status-bar-item" class="status-bar-item toggled"></but
ton><button id="console-status-bar-item" class="status-bar-item"></button><div i
d="error-warning-count" class="hidden"></div></div></div> | 117 <div id="main-status-bar" class="status-bar"><div id="anchored-status-ba
r-items"><button id="dock-status-bar-item" class="status-bar-item toggled"></but
ton><button id="console-status-bar-item" class="status-bar-item"></button><div i
d="error-warning-count" class="hidden"></div></div></div> |
119 </div> | 118 </div> |
120 <div id="console"> | 119 <div id="console"> |
121 <div id="console-messages"><div id="console-prompt"><br></div></div> | 120 <div id="console-messages"><div id="console-prompt"><br></div></div> |
122 <div id="console-status-bar" class="status-bar"><div id="other-console-s
tatus-bar-items"><button id="clear-console-status-bar-item" class="status-bar-it
em"></button></div></div> | 121 <div id="console-status-bar" class="status-bar"><div id="other-console-s
tatus-bar-items"><button id="clear-console-status-bar-item" class="status-bar-it
em"></button></div></div> |
123 </div> | 122 </div> |
124 </body> | 123 </body> |
125 </html> | 124 </html> |
OLD | NEW |