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 / tools.xul < prev   
Encoding:
Extensible Markup Language  |  2004-11-21  |  1.7 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.options.tools.label;"/>
  12.         <description value="&webdeveloper.keyboard.shortcuts.label;"/>
  13.         <separator/>
  14.         <hbox align="top">
  15.             <listbox flex="1" id="webdeveloper-listbox" rows="10">
  16.                 <listhead>
  17.                     <listheader label="&webdeveloper.description.header;"/>
  18.                     <listheader label="&webdeveloper.url.header;"/>
  19.                     <listheader label="&webdeveloper.key.header;"/>
  20.                 </listhead>
  21.                 <listcols>
  22.                     <listcol/>
  23.                     <listcol flex="1"/>
  24.                     <listcol/>
  25.                 </listcols>
  26.             </listbox>
  27.             <vbox>
  28.                 <button label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
  29.                 <button label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
  30.             </vbox>
  31.         </hbox>
  32.         <hbox>
  33.             <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addTool()"/>
  34.             <button label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editTool()"/>
  35.             <button label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteTool()"/>
  36.         </hbox>
  37.     </groupbox>
  38. </page>