home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / pluginy Firefox / 60 / 60.xpi / chrome / webdeveloper.jar / content / webdeveloper / options / pages / tools.xul < prev    next >
Encoding:
Extensible Markup Language  |  2009-06-30  |  2.0 KB  |  39 lines
  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_initializeTools()"
  7.       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
  8.  
  9.     <groupbox>
  10.         <caption label="&webdeveloper.options.tools.label;"/>
  11.         <description value="&webdeveloper.keyboard.shortcuts.label;"/>
  12.         <separator/>
  13.         <hbox align="top">
  14.             <listbox flex="1" id="webdeveloper-listbox" rows="14" onselect="parent.webdeveloper_listBoxSelected()">
  15.                 <listhead>
  16.                     <listheader label="&webdeveloper.description.header;"/>
  17.                     <listheader label="&webdeveloper.tool.header;"/>
  18.                     <listheader label="&webdeveloper.key.header;"/>
  19.                 </listhead>
  20.                 <listcols>
  21.                     <listcol/>
  22.                     <listcol flex="1"/>
  23.                     <listcol/>
  24.                 </listcols>
  25.             </listbox>
  26.             <vbox>
  27.                 <button id="webdeveloper-move-up" label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
  28.                 <button id="webdeveloper-move-down" label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
  29.             </vbox>
  30.         </hbox>
  31.         <hbox>
  32.             <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addTool()"/>
  33.             <button id="webdeveloper-edit" label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editTool()"/>
  34.             <button id="webdeveloper-delete" label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteTool()"/>
  35.             <spacer class="large-spacer"/>
  36.             <button label="&webdeveloper.options.new.separator;" oncommand="parent.webdeveloper_newSeparator()"/>
  37.         </hbox>
  38.     </groupbox>
  39. </page>