home *** CD-ROM | disk | FTP | other *** search
/ Revista do CD-ROM 123 / cdrom123.iso / essenc / extens / wweb / Web Developer.xpi / chrome / webdeveloper.jar / content / webdeveloper / options / pages / general.xul < prev    next >
Encoding:
Extensible Markup Language  |  2004-11-21  |  1.9 KB  |  38 lines
  1. <?xml version="1.0"?>
  2. <?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
  3. <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
  4.  
  5. <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
  6.  
  7. <page onload="parent.webdeveloper_initializeOptions()"
  8.       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  9.  
  10.     <groupbox>
  11.         <caption label="&webdeveloper.general.caption;"/>
  12.         <checkbox id="webdeveloper.context.hide" label="&webdeveloper.context.hide;"/>
  13.         <checkbox id="webdeveloper.menu.hide" label="&webdeveloper.menu.hide;"/>
  14.         <checkbox id="webdeveloper.outline.show.element.names" label="&webdeveloper.outline.show.element.names;"/>
  15.         <separator/>
  16.         <hbox align="center">
  17.             <label value="&webdeveloper.toolbar.icons;" control="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;" onclick="parent.webdeveloper_updateTabOptionStatus()"/>
  30.         <checkbox id="webdeveloper.open.tabs.background" label="&webdeveloper.open.tabs.background;" class="indent"/>
  31.         <checkbox id="webdeveloper.view.source.tab" label="&webdeveloper.view.source.tab;"/>
  32.     </groupbox>
  33.     <separator/>
  34.     <hbox>
  35.         <button label="&webdeveloper.options.reset;" oncommand="parent.webdeveloper_resetOptions()"/>
  36.         <spacer flex="1"/>
  37.     </hbox>
  38. </page>