browser/devtools/shadereditor/shadereditor.xul@6474c204b198
browser/devtools/shadereditor/shadereditor.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.
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/shadereditor.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/shadereditor.dtd">
12 %debuggerDTD;
13 ]>
15 <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
17 <script type="application/javascript;version=1.8"
18 src="chrome://browser/content/devtools/theme-switching.js"/>
20 <script type="application/javascript" src="shadereditor.js"/>
22 <vbox class="theme-body" flex="1">
23 <hbox id="reload-notice"
24 class="notice-container"
25 align="center"
26 pack="center"
27 flex="1">
28 <button id="requests-menu-reload-notice-button"
29 class="devtools-toolbarbutton"
30 label="&shaderEditorUI.reloadNotice1;"
31 oncommand="gFront.setup({ reload: true });"/>
32 <label id="requests-menu-reload-notice-label"
33 class="plain"
34 value="&shaderEditorUI.reloadNotice2;"/>
35 </hbox>
36 <hbox id="waiting-notice"
37 class="notice-container"
38 align="center"
39 pack="center"
40 flex="1"
41 hidden="true">
42 <label id="requests-menu-waiting-notice-label"
43 class="plain"
44 value="&shaderEditorUI.emptyNotice;"/>
45 </hbox>
47 <box id="content"
48 class="devtools-responsive-container"
49 flex="1"
50 hidden="true">
51 <vbox id="shaders-pane"/>
52 <splitter class="devtools-side-splitter"/>
53 <box id="shaders-editors" class="devtools-responsive-container" flex="1">
54 <vbox flex="1">
55 <vbox id="vs-editor" flex="1"/>
56 <label id="vs-editor-label"
57 class="plain editor-label"
58 value="&shaderEditorUI.vertexShader;"/>
59 </vbox>
60 <splitter id="editors-splitter" class="devtools-side-splitter"/>
61 <vbox flex="1">
62 <vbox id="fs-editor" flex="1"/>
63 <label id="fs-editor-label"
64 class="plain editor-label"
65 value="&shaderEditorUI.fragmentShader;"/>
66 </vbox>
67 </box>
68 </box>
69 </vbox>
71 </window>
