options.xul 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156
  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://gnomerunner-options/skin/options.css" type="text/css"?>
  7. <!DOCTYPE window SYSTEM "chrome://gnomerunner-options/locale/options.dtd">
  8. <window id="gnomerunner-options-window"
  9. title="&options.window.title;"
  10. xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  11. <prefpane>
  12. <preferences>
  13. <preference id="fallback-icon-theme"
  14. name="extensions.gnomerunner-options.fallback-icon-theme"
  15. type="string"/>
  16. <preference id="native-icons"
  17. name="extensions.gnomerunner-options.native-icons"
  18. type="int"/>
  19. <preference id="visible-grippies"
  20. name="extensions.gnomerunner-options.visible-grippies"
  21. type="bool"/>
  22. <preference id="show-menubar-grippies"
  23. name="extensions.gnomerunner-options.show-menubar-grippies"
  24. type="bool"/>
  25. <preference id="show-toolbar-grippies"
  26. name="extensions.gnomerunner-options.show-toolbar-grippies"
  27. type="bool"/>
  28. <preference id="throbber-style"
  29. name="extensions.gnomerunner-options.throbber-style"
  30. type="string"/>
  31. <preference id="alt-secure-highlight"
  32. name="extensions.gnomerunner-options.alt-secure-highlight"
  33. type="bool"/>
  34. </preferences>
  35. <tabbox>
  36. <tabs>
  37. <tab label="&options.tab.icons;" />
  38. <tab label="&options.tab.menus-and-toolbars;" />
  39. <tab label="&options.tab.throbber;" />
  40. <tab label="&options.tab.misc;" />
  41. </tabs>
  42. <tabpanels>
  43. <tabpanel orient="vertical">
  44. <groupbox>
  45. <caption label="&options.label.native-icons;" />
  46. <radiogroup orient="horizontal"
  47. preference="native-icons">
  48. <radio label="&options.icons.freedesktop;" value="2"/>
  49. <radio label="&options.icons.stock-gtk;" value="1"/>
  50. <radio label="&options.icons.none;" value="0"/>
  51. </radiogroup>
  52. </groupbox>
  53. <groupbox>
  54. <caption label="&options.label.fallback-icons;" />
  55. <menulist preference="fallback-icon-theme">
  56. <menupopup>
  57. <menuitem label="Adwaita" value="adwaita"/>
  58. <menuitem label="GNOME" value="gnome"/>
  59. <menuitem label="Tango" value="tango"/>
  60. <menuitem label="Stock GTK" value="gtk-stock"/>
  61. <menuitem label="Old GNOME" value="gnome-old"/>
  62. </menupopup>
  63. </menulist>
  64. </groupbox>
  65. <groupbox>
  66. <caption label="&options.label.preview;" />
  67. <hbox>
  68. <image class="preview-icon" id="preview-icon-1" />
  69. <image class="preview-icon" id="preview-icon-2" />
  70. <image class="preview-icon" id="preview-icon-3" />
  71. <image class="preview-icon" id="preview-icon-4" />
  72. <image class="preview-icon" id="preview-icon-5" />
  73. </hbox>
  74. </groupbox>
  75. </tabpanel>
  76. <tabpanel orient="vertical">
  77. <groupbox>
  78. <caption label="&options.label.grippies;" />
  79. <checkbox label="&options.label.visible-grippies;"
  80. preference="visible-grippies" />
  81. <checkbox label="&options.label.show-menubar-grippies;"
  82. preference="show-menubar-grippies" />
  83. <checkbox label="&options.label.show-toolbar-grippies;"
  84. preference="show-toolbar-grippies" />
  85. </groupbox>
  86. <groupbox>
  87. <caption label="&options.label.preview;" />
  88. <toolbox id="preview-toolbox">
  89. <menubar id="preview-menubar">
  90. <menu label="&options.label.preview.file;">
  91. <menupopup>
  92. <menuitem class="menuitem-iconic" id="preview-menu-new" label="&options.label.preview.new;" />
  93. <menuitem class="menuitem-iconic" id="preview-menu-open" label="&options.label.preview.open;" />
  94. <menuitem class="menuitem-iconic" id="preview-menu-save" label="&options.label.preview.save;" />
  95. <menuseparator />
  96. <menuitem class="menuitem-iconic" id="preview-menu-print" label="&options.label.preview.print;" />
  97. <menuseparator />
  98. <menuitem class="menuitem-iconic" id="preview-menu-exit" label="&options.label.preview.exit;" />
  99. </menupopup>
  100. </menu>
  101. <menu label="&options.label.preview.edit;">
  102. <menupopup>
  103. <menuitem class="menuitem-iconic" id="preview-menu-cut" label="&options.label.preview.cut;" />
  104. <menuitem class="menuitem-iconic" id="preview-menu-copy" label="&options.label.preview.copy;" />
  105. <menuitem class="menuitem-iconic" id="preview-menu-paste" label="&options.label.preview.paste;" />
  106. </menupopup>
  107. </menu>
  108. </menubar>
  109. <toolbar id="preview-toolbar" class="toolbar-primary">
  110. <toolbarbutton class="toolbarbutton-1"
  111. id="preview-toolbar-new"
  112. label="&options.label.preview.new;" />
  113. <toolbarbutton class="toolbarbutton-1"
  114. id="preview-toolbar-open"
  115. label="&options.label.preview.open;" />
  116. <toolbarbutton class="toolbarbutton-1"
  117. id="preview-toolbar-save"
  118. label="&options.label.preview.save;" />
  119. </toolbar>
  120. </toolbox>
  121. </groupbox>
  122. </tabpanel>
  123. <tabpanel orient="vertical">
  124. <groupbox>
  125. <caption label="&options.label.throbber-style;" />
  126. <radiogroup preference="throbber-style">
  127. <radio label="&options.label.throbber.generic;" value="generic" />
  128. <radio label="&options.label.throbber.seamonkey;" value="seamonkey" />
  129. <radio label="&options.label.throbber.mozilla;" value="mozilla" />
  130. <radio label="&options.label.throbber.gnome-foot;" value="gnome-foot" />
  131. </radiogroup>
  132. </groupbox>
  133. <groupbox>
  134. <caption label="&options.label.preview;" />
  135. <hbox>
  136. <button id="navigator-throbber" />
  137. <button id="navigator-throbber" busy="true" />
  138. </hbox>
  139. </groupbox>
  140. </tabpanel>
  141. <tabpanel orient="vertical">
  142. <groupbox>
  143. <caption label="&options.label.location-bar;" />
  144. <checkbox label="&options.label.alt-secure-highlight;" preference="alt-secure-highlight" />
  145. </groupbox>
  146. </tabpanel>
  147. </tabpanels>
  148. </tabbox>
  149. </prefpane>
  150. </window>