doc/webdeveloper/options/pages/miscellaneous.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_initializeMiscellaneous()"
   7       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.forms.caption;"/>
  11         <label control="webdeveloper.populate.form.fields.email" value="&webdeveloper.populate.form.fields.email.label;"/>
  12         <textbox id="webdeveloper.populate.form.fields.email"/>
  13     </groupbox>
  14     <groupbox>
  15         <caption label="&webdeveloper.information.caption;"/>
  16         <checkbox id="webdeveloper.information.tidy" label="&webdeveloper.information.tidy;"/>
  17     </groupbox>
  18     <groupbox>
  19         <caption label="&webdeveloper.warnings.errors.caption;"/>
  20         <checkbox id="webdeveloper.open.css.console.error" label="&webdeveloper.open.css.console.error;"/>
  21         <checkbox id="webdeveloper.open.javascript.console.warning" label="&webdeveloper.open.javascript.console.warning;"/>
  22         <checkbox id="webdeveloper.open.javascript.console.error" label="&webdeveloper.open.javascript.console.error;"/>
  23     </groupbox>
  24 </page>