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 / javascript.xul < prev    next >
Encoding:
Extensible Markup Language  |  2004-11-21  |  874 b   |  17 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.javascript.caption;"/>
  12.         <checkbox id="webdeveloper.javascript.options.strict" label="&webdeveloper.javascript.options.strict;"/>
  13.         <separator/>
  14.         <checkbox id="webdeveloper.open.javascript.console.warning" label="&webdeveloper.open.javascript.console.warning;"/>
  15.         <checkbox id="webdeveloper.open.javascript.console.error" label="&webdeveloper.open.javascript.console.error;"/>
  16.     </groupbox>
  17. </page>