The Tor Browser / file comparison
comparison: browser/devtools/shadereditor/shadereditor.xul
browser/devtools/shadereditor/shadereditor.xul
- changeset 0
- 6474c204b198
equal
deleted
inserted
replaced
| -1:000000000000 | 0:51a1cf7c2cf5 |
|---|---|
| 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 ]> | |
| 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="shadereditor.js"/> | |
| 21 | |
| 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> | |
| 46 | |
| 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> | |
| 70 | |
| 71 </window> |
