.mozilla/firefox/default/extensions/itsalltext@docwhat.gerf.org/chrome/content/preferences.xul

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
   3
   4 <!DOCTYPE prefwindow SYSTEM "chrome://itsalltext/locale/preferences.dtd" >
   5 <prefwindow id="itsalltext-prefs"
   6          title="&title;"
   7          xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
   8          buttons="accept,cancel"
   9          onload="pref_onload();">
  10
  11 <script type="application/x-javascript" src="preferences.js"/>
  12
  13 <stringbundleset id="strbundles">
  14 <stringbundle id="strings" src="chrome://itsalltext/locale/preferences.properties"/>
  15 </stringbundleset>
  16
  17 <prefpane
  18     id="itsalltext-pane"
  19     label="&title;"
  20     flex="1">
  21   <preferences>
  22     <preference id="pref_charset"
  23                 name="extensions.itsalltext.charset" type="string"/>
  24     <preference id="pref_editor"
  25                 name="extensions.itsalltext.editor" type="string"/>
  26     <preference id="pref_seconds"
  27                 name="extensions.itsalltext.refresh" type="int"/>
  28     <preference id="pref_extensions"
  29                 name="extensions.itsalltext.extensions" type="string"/>
  30     <preference id="pref_disable_gumdrops"
  31                 name="extensions.itsalltext.disable_gumdrops" type="bool"/>
  32     <preference id="pref_debug"
  33                 name="extensions.itsalltext.debug" type="bool"/>
  34   </preferences>
  35
  36   <hbox>
  37     <grid>
  38       <columns>
  39         <column/>
  40         <column/>
  41       </columns>
  42       <rows>
  43         <row align="center">
  44           <label control="editor" value="&editor.label;"/>
  45           <vbox>
  46             <textbox preference="pref_editor" id="editor" size="20"
  47              style="-moz-appearance: none !important; background:
  48              inherit;" />
  49             <hbox align="right">
  50               <spacer/>
  51               <button oncommand="pref_editor_select();" label="&picker.label;"
  52               id="browse" accesskey="b" tabindex="1"/>
  53             </hbox>
  54           </vbox>
  55         </row>
  56         <row align="center">
  57           <label control="seconds" value="&seconds.label;"/>
  58           <hbox>
  59             <textbox preference="pref_seconds" id="seconds" size="2"
  60             maxlength="2" tabindex="2"/>
  61             <spacer/>
  62           </hbox>
  63         </row>
  64         <row align="center">
  65           <label control="charset"
  66                  value="&charset.label;"/>
  67           <hbox>
  68             <textbox preference="pref_charset" id="charset" size="8" tabindex="3"/>
  69             <spacer/>
  70           </hbox>
  71         </row>
  72         <row align="center">
  73           <label control="extensions"
  74                  value="&extensions.label;"/>
  75           <textbox preference="pref_extensions" id="extensions" size="30" tabindex="4"/>
  76         </row>
  77         <row align="center">
  78           <label control="disable_gumdrops"
  79                  value="&disable_gumdrops.label;"/>
  80           <checkbox preference="pref_disable_gumdrops" id="disable_gumdrops" tabindex="5"
  81           label="&disable_gumdrops.checkbox;"/>
  82         </row>
  83         <row align="center">
  84           <label control="debug"
  85                  value="&debug.label;"/>
  86           <checkbox preference="pref_debug" id="debug" tabindex="5"
  87           label="&debug.humor;"/>
  88         </row>
  89       </rows>
  90     </grid>
  91     <vbox id="help" flex="1">
  92     </vbox>
  93   </hbox>
  94 </prefpane>
  95
  96 </prefwindow>