browser/devtools/profiler/profiler.xul

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

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

mercurial