--- /dev/null
+<?xml version="1.0"?>
+<?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
+
+<!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
+
+<page onload="parent.webdeveloper_initializeTools()"
+ xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
+
+ <groupbox>
+ <caption label="&webdeveloper.options.tools.label;"/>
+ <description value="&webdeveloper.keyboard.shortcuts.label;"/>
+ <separator/>
+ <hbox align="top">
+ <listbox flex="1" id="webdeveloper-listbox" rows="16" onselect="parent.webdeveloper_listBoxSelected()">
+ <listhead>
+ <listheader label="&webdeveloper.description.header;"/>
+ <listheader label="&webdeveloper.tool.header;"/>
+ <listheader label="&webdeveloper.key.header;"/>
+ </listhead>
+ <listcols>
+ <listcol/>
+ <listcol flex="1"/>
+ <listcol/>
+ </listcols>
+ </listbox>
+ <vbox>
+ <button id="webdeveloper-move-up" label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
+ <button id="webdeveloper-move-down" label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
+ </vbox>
+ </hbox>
+ <hbox>
+ <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addTool()"/>
+ <button id="webdeveloper-edit" label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editTool()"/>
+ <button id="webdeveloper-delete" label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteTool()"/>
+ <spacer class="large-spacer"/>
+ <button label="&webdeveloper.options.new.separator;" oncommand="parent.webdeveloper_newSeparator()"/>
+ </hbox>
+ </groupbox>
+</page>
\ No newline at end of file