browser/devtools/webaudioeditor/webaudioeditor.xul

branch
TOR_BUG_9701
changeset 15
b8a032363ba2
equal deleted inserted replaced
-1:000000000000 0:a37728e15de1
1 <?xml version="1.0"?>
2 <!-- This Source Code Form is subject to the terms of the Mozilla Public
3 - License, v. 2.0. If a copy of the MPL was not distributed with this
4 - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
5 <?xml-stylesheet href="chrome://browser/skin/" type="text/css"?>
6 <?xml-stylesheet href="chrome://browser/skin/devtools/common.css" type="text/css"?>
7 <?xml-stylesheet href="chrome://browser/skin/devtools/widgets.css" type="text/css"?>
8 <?xml-stylesheet href="chrome://browser/skin/devtools/webaudioeditor.css" type="text/css"?>
9 <?xml-stylesheet href="chrome://browser/content/devtools/widgets.css" type="text/css"?>
10 <!DOCTYPE window [
11 <!ENTITY % debuggerDTD SYSTEM "chrome://browser/locale/devtools/webaudioeditor.dtd">
12 %debuggerDTD;
13 ]>
14
15 <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
16
17 <script type="application/javascript;version=1.8"
18 src="chrome://browser/content/devtools/theme-switching.js"/>
19
20 <script type="application/javascript" src="d3.js"/>
21 <script type="application/javascript" src="dagre-d3.js"/>
22 <script type="application/javascript" src="webaudioeditor-controller.js"/>
23 <script type="application/javascript" src="webaudioeditor-view.js"/>
24
25 <vbox class="theme-body" flex="1">
26 <hbox id="reload-notice"
27 class="notice-container"
28 align="center"
29 pack="center"
30 flex="1">
31 <button id="requests-menu-reload-notice-button"
32 class="devtools-toolbarbutton"
33 label="&webAudioEditorUI.reloadNotice1;"
34 oncommand="gFront.setup({ reload: true });"/>
35 <label id="requests-menu-reload-notice-label"
36 class="plain"
37 value="&webAudioEditorUI.reloadNotice2;"/>
38 </hbox>
39 <hbox id="waiting-notice"
40 class="notice-container"
41 align="center"
42 pack="center"
43 flex="1"
44 hidden="true">
45 <label id="requests-menu-waiting-notice-label"
46 class="plain"
47 value="&webAudioEditorUI.emptyNotice;"/>
48 </hbox>
49
50 <box id="content"
51 class="devtools-responsive-container"
52 flex="1"
53 hidden="true">
54 <vbox id="web-audio-inspector">
55 <vbox id="web-audio-inspector-content" flex="1"></vbox>
56 </vbox>
57 <splitter class="devtools-side-splitter"/>
58 <box id="web-audio-graph" class="devtools-responsive-container" flex="1">
59 <vbox flex="1">
60 <svg id="graph-svg" flex="1" viewBox="0 0 1000 500"
61 xmlns="http://www.w3.org/2000/svg"
62 xmlns:xlink="http://www.w3.org/1999/xlink">
63 <g id="graph-target" transform="translate(20,20)"/>
64 </svg>
65 </vbox>
66 </box>
67 </box>
68 </vbox>
69
70 </window>

mercurial