doc/webdeveloper/options/pages/tools.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_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="16" 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>