Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
1 <?xml version="1.0" encoding="utf-8"?>
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/. -->
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"?>
13 <!DOCTYPE window [
14 <!ENTITY % profilerDTD SYSTEM "chrome://browser/locale/devtools/profiler.dtd">
15 %profilerDTD;
16 ]>
18 <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
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>
40 <vbox id="profiles-list" flex="1">
41 </vbox>
42 </vbox>
44 <splitter class="devtools-side-splitter devtools-invisible-splitter"/>
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>