doc/webdeveloper/options/pages/general.xul

   1 <?xml version="1.0"?>
   2 <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
   3
   4 <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
   5
   6 <page onload="parent.webdeveloper_initializeGeneral()"
   7       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.general.caption;"/>
  11         <checkbox id="webdeveloper.context.hide" label="&webdeveloper.context.hide;"/>
  12         <checkbox id="webdeveloper.menu.hide" label="&webdeveloper.menu.hide;"/>
  13         <checkbox id="webdeveloper.confirmation.dialogs.hide" label="&webdeveloper.confirmation.dialogs.hide;"/>
  14         <checkbox id="webdeveloper.informational.dialogs.hide" label="&webdeveloper.informational.dialogs.hide;"/>
  15         <separator/>
  16         <hbox align="center">
  17             <label control="webdeveloper.toolbar.icons" value="&webdeveloper.toolbar.icons;"/>
  18             <menulist id="webdeveloper.toolbar.icons">
  19                 <menupopup>
  20                     <menuitem label="&webdeveloper.icons.text;" value="full"/>
  21                     <menuitem label="&webdeveloper.icons;" value="icons"/>
  22                     <menuitem label="&webdeveloper.text;" value="text"/>
  23                 </menupopup>
  24             </menulist>
  25         </hbox>
  26     </groupbox>
  27     <groupbox>
  28         <caption label="&webdeveloper.tabs.windows.caption;"/>
  29         <checkbox id="webdeveloper.open.tabs" label="&webdeveloper.open.tabs;" oncommand="parent.webdeveloper_updateTabOptionStatus()"/>
  30         <checkbox id="webdeveloper.open.tabs.background" class="indent" label="&webdeveloper.open.tabs.background;"/>
  31     </groupbox>
  32     <separator/>
  33     <hbox>
  34         <button label="&webdeveloper.options.reset;" oncommand="parent.webdeveloper_resetOptions()"/>
  35         <spacer flex="1"/>
  36     </hbox>
  37 </page>