browser/devtools/shadereditor/shadereditor.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/shadereditor.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/shadereditor.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="shadereditor.js"/>
michael@0 21
michael@0 22 <vbox class="theme-body" flex="1">
michael@0 23 <hbox id="reload-notice"
michael@0 24 class="notice-container"
michael@0 25 align="center"
michael@0 26 pack="center"
michael@0 27 flex="1">
michael@0 28 <button id="requests-menu-reload-notice-button"
michael@0 29 class="devtools-toolbarbutton"
michael@0 30 label="&shaderEditorUI.reloadNotice1;"
michael@0 31 oncommand="gFront.setup({ reload: true });"/>
michael@0 32 <label id="requests-menu-reload-notice-label"
michael@0 33 class="plain"
michael@0 34 value="&shaderEditorUI.reloadNotice2;"/>
michael@0 35 </hbox>
michael@0 36 <hbox id="waiting-notice"
michael@0 37 class="notice-container"
michael@0 38 align="center"
michael@0 39 pack="center"
michael@0 40 flex="1"
michael@0 41 hidden="true">
michael@0 42 <label id="requests-menu-waiting-notice-label"
michael@0 43 class="plain"
michael@0 44 value="&shaderEditorUI.emptyNotice;"/>
michael@0 45 </hbox>
michael@0 46
michael@0 47 <box id="content"
michael@0 48 class="devtools-responsive-container"
michael@0 49 flex="1"
michael@0 50 hidden="true">
michael@0 51 <vbox id="shaders-pane"/>
michael@0 52 <splitter class="devtools-side-splitter"/>
michael@0 53 <box id="shaders-editors" class="devtools-responsive-container" flex="1">
michael@0 54 <vbox flex="1">
michael@0 55 <vbox id="vs-editor" flex="1"/>
michael@0 56 <label id="vs-editor-label"
michael@0 57 class="plain editor-label"
michael@0 58 value="&shaderEditorUI.vertexShader;"/>
michael@0 59 </vbox>
michael@0 60 <splitter id="editors-splitter" class="devtools-side-splitter"/>
michael@0 61 <vbox flex="1">
michael@0 62 <vbox id="fs-editor" flex="1"/>
michael@0 63 <label id="fs-editor-label"
michael@0 64 class="plain editor-label"
michael@0 65 value="&shaderEditorUI.fragmentShader;"/>
michael@0 66 </vbox>
michael@0 67 </box>
michael@0 68 </box>
michael@0 69 </vbox>
michael@0 70
michael@0 71 </window>

mercurial