shadereditor.xul 2.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071
  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://global/skin/" type="text/css"?>
  6. <?xml-stylesheet href="chrome://devtools/skin/widgets.css" type="text/css"?>
  7. <?xml-stylesheet href="chrome://devtools/skin/shadereditor.css" type="text/css"?>
  8. <?xml-stylesheet href="chrome://devtools/content/shared/widgets/widgets.css" type="text/css"?>
  9. <!DOCTYPE window [
  10. <!ENTITY % debuggerDTD SYSTEM "chrome://devtools/locale/shadereditor.dtd">
  11. %debuggerDTD;
  12. ]>
  13. <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  14. <script type="application/javascript;version=1.8"
  15. src="chrome://devtools/content/shared/theme-switching.js"/>
  16. <script type="application/javascript" src="shadereditor.js"/>
  17. <vbox class="theme-body" flex="1">
  18. <hbox id="reload-notice"
  19. class="notice-container"
  20. align="center"
  21. pack="center"
  22. flex="1">
  23. <button id="requests-menu-reload-notice-button"
  24. class="devtools-toolbarbutton"
  25. standalone="true"
  26. label="&shaderEditorUI.reloadNotice1;"/>
  27. <label id="requests-menu-reload-notice-label"
  28. class="plain"
  29. value="&shaderEditorUI.reloadNotice2;"/>
  30. </hbox>
  31. <hbox id="waiting-notice"
  32. class="notice-container devtools-throbber"
  33. align="center"
  34. pack="center"
  35. flex="1"
  36. hidden="true">
  37. <label id="requests-menu-waiting-notice-label"
  38. class="plain"
  39. value="&shaderEditorUI.emptyNotice;"/>
  40. </hbox>
  41. <box id="content"
  42. class="devtools-responsive-container"
  43. flex="1"
  44. hidden="true">
  45. <vbox id="shaders-pane"/>
  46. <splitter class="devtools-side-splitter"/>
  47. <box id="shaders-editors" class="devtools-responsive-container" flex="1">
  48. <vbox flex="1">
  49. <vbox id="vs-editor" flex="1"/>
  50. <label id="vs-editor-label"
  51. class="plain editor-label"
  52. value="&shaderEditorUI.vertexShader;"/>
  53. </vbox>
  54. <splitter id="editors-splitter" class="devtools-side-splitter"/>
  55. <vbox flex="1">
  56. <vbox id="fs-editor" flex="1"/>
  57. <label id="fs-editor-label"
  58. class="plain editor-label"
  59. value="&shaderEditorUI.fragmentShader;"/>
  60. </vbox>
  61. </box>
  62. </box>
  63. </vbox>
  64. </window>