browser/devtools/profiler/profiler.xul

changeset 0
6474c204b198
equal deleted inserted replaced
-1:000000000000 0:6c12dcfb2a30
1 <?xml version="1.0" encoding="utf-8"?>
2
3 <!-- This Source Code Form is subject to the terms of the Mozilla Public
4 - License, v. 2.0. If a copy of the MPL was not distributed with this
5 - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
6
7 <?xml-stylesheet href="chrome://global/skin/global.css"?>
8 <?xml-stylesheet href="chrome://browser/skin/devtools/common.css"?>
9 <?xml-stylesheet href="chrome://browser/skin/devtools/widgets.css"?>
10 <?xml-stylesheet href="chrome://browser/skin/devtools/profiler.css"?>
11 <?xml-stylesheet href="chrome://browser/content/devtools/widgets.css"?>
12
13 <!DOCTYPE window [
14 <!ENTITY % profilerDTD SYSTEM "chrome://browser/locale/devtools/profiler.dtd">
15 %profilerDTD;
16 ]>
17
18 <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
19
20 <script type="application/javascript;version=1.8"
21 src="chrome://browser/content/devtools/theme-switching.js"/>
22 <script type="text/javascript" src="sidebar.js"/>
23 <box flex="1" id="profiler-chrome"
24 class="devtools-responsive-container theme-body">
25 <vbox class="profiler-sidebar theme-sidebar">
26 <toolbar class="devtools-toolbar">
27 <hbox id="profiler-controls"
28 class="devtools-toolbarbutton-group">
29 <toolbarbutton id="profiler-start"
30 tooltiptext="&startProfiler.tooltip;"
31 class="devtools-toolbarbutton"
32 disabled="true"/>
33 <toolbarbutton id="profiler-import"
34 class="devtools-toolbarbutton"
35 disabled="true"
36 label="&importProfile.label;"/>
37 </hbox>
38 </toolbar>
39
40 <vbox id="profiles-list" flex="1">
41 </vbox>
42 </vbox>
43
44 <splitter class="devtools-side-splitter devtools-invisible-splitter"/>
45
46 <vbox flex="1" id="profiler-report">
47 <!-- Example:
48 <iframe id="profiler-cleo-1"
49 src="devtools/cleopatra.html" flex="1"></iframe>
50 -->
51 </vbox>
52 </box>
53 </window>

mercurial