Disable view source for Developer Tools.
[chromium-blink-merge.git] / chrome / browser / resources / inspect / inspect.html
blobf573d3ad354f574f0dbefc4352721d20aef12ebe
1 <!DOCTYPE HTML>
2 <html>
3 <!--
4 Copyright (c) 2012 The Chromium Authors. All rights reserved.
5 Use of this source code is governed by a BSD-style license that can be
6 found in the LICENSE file.
7 -->
8 <head>
9 <meta charset="utf-8">
10 <title>Inspect with Chrome Developer Tools</title>
12 <link rel="stylesheet" href="inspect.css">
13 <script src="chrome://resources/js/util.js"></script>
14 <script src="inspect.js"></script>
15 </head>
17 <body>
19 <div id="container">
20 <div id="navigation">
21 <div id="caption">DevTools</div>
22 </div>
23 <div id="content">
24 <div id="devices">
25 <div class="content-header">Devices</div>
26 <div id="device-settings">
27 <label for="discover-usb-devices-enable"
28 title="Enable Remote Debugging of Chrome for Android over raw USB
29 interface (no need to install / run Android Debug Bridge).">
30 <input id="discover-usb-devices-enable" type="checkbox" disabled/>
31 <span>Discover USB devices</span>
32 </label>
33 <button id="port-forwarding-config-open" disabled>
34 Port forwarding...</button>
35 </div>
36 <div id="devices-help" hidden="true">No devices detected. Please read the
37 <a href="https://developers.google.com/chrome-developer-tools/docs/remote-debugging">
38 remote debugging documentation</a> to verify your device is enabled for
39 USB debugging.
40 </div>
41 <div id="devices-list"></div>
42 </div>
43 <div id="pages">
44 <div class="content-header">Pages</div>
45 <div id="pages-list" class="list pages"></div>
46 </div>
47 <div id="extensions">
48 <div class="content-header">Extensions</div>
49 <div id="extensions-list" class="list"></div>
50 </div>
51 <div id="apps">
52 <div class="content-header">Apps</div>
53 <div id="apps-list" class="list"></div>
54 </div>
55 <div id="workers">
56 <div class="content-header">Shared workers</div>
57 <div id="workers-list" class="list"></div>
58 </div>
59 <div id="other">
60 <div class="content-header">Other</div>
61 <div id="others-list" class="list"></div>
62 </div>
63 </div>
64 </div>
65 <div id="port-forwarding-overlay">
66 <div id="port-forwarding-config">
67 <div id="port-forwarding-config-close" class="close-button"></div>
68 <div id="port-forwarding-config-title">Port forwarding settings</div>
69 <div id="port-forwarding-config-list">
70 </div>
71 <div id="port-forwarding-config-buttons">
72 <label for="port-forwarding-enable">
73 <input id="port-forwarding-enable" type="checkbox" disabled/>
74 <span>Enable port forwarding</span>
75 </label>
76 <button id="port-forwarding-config-done">Done</button>
77 </div>
78 </div>
79 </div>
80 </body>
81 </html>