browser/devtools/webaudioeditor/webaudioeditor.xul

Thu, 22 Jan 2015 13:21:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 22 Jan 2015 13:21:57 +0100
branch
TOR_BUG_9701
changeset 15
b8a032363ba2
permissions
-rw-r--r--

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

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

mercurial