--- /dev/null
+<?xml version="1.0"?>
+<?xml-stylesheet href="chrome://webdeveloper/content/options/dialogs/tool.css" type="text/css"?>
+
+<!DOCTYPE dialog SYSTEM "chrome://webdeveloper/locale/dialogs.dtd">
+
+<dialog buttons="accept, cancel"
+ id="webdeveloper-tool-dialog"
+ ondialogaccept="return webdeveloper_saveTool()"
+ ondialogcancel="webdeveloper_clearTool()"
+ onload="webdeveloper_initializeTool()"
+ xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
+
+ <script type="application/x-javascript" src="chrome://webdeveloper/content/common/platform.js"/>
+ <script type="application/x-javascript" src="chrome://webdeveloper/content/common/prompt.js"/>
+ <script type="application/x-javascript" src="chrome://webdeveloper/content/common/string.js"/>
+ <script type="application/x-javascript" src="chrome://webdeveloper/content/options/dialogs/tool.js"/>
+
+ <stringbundleset id="stringbundleset">
+ <stringbundle id="webdeveloper-string-bundle" src="chrome://webdeveloper/locale/webdeveloper.properties"/>
+ </stringbundleset>
+
+ <vbox>
+ <grid>
+ <columns>
+ <column/>
+ <column/>
+ </columns>
+ <rows>
+ <row align="center">
+ <label control="webdeveloper.tool.description" value="&webdeveloper.description.label;"/>
+ <textbox id="webdeveloper.tool.description" size="50"/>
+ </row>
+ <row align="center">
+ <label control="webdeveloper.tool.key" value="&webdeveloper.keyboard.shortcut.label;"/>
+ <hbox align="center">
+ <description id="webdeveloper-keyboard-shortcut-modifiers"/>
+ <textbox id="webdeveloper.tool.key" maxlength="1" size="1"/>
+ <spacer flex="1"/>
+ </hbox>
+ </row>
+ <row align="center">
+ <description value="&webdeveloper.tool.type.label;"/>
+ <radiogroup align="center" orient="horizontal">
+ <radio id="webdeveloper-application-radio" selected="true" label="&webdeveloper.tool.application.label;" oncommand="webdeveloper_toggleToolType()"/>
+ <!--radio id="webdeveloper-bookmarklet-radio" label="&webdeveloper.tool.bookmarklet.label;" oncommand="webdeveloper_toggleToolType()"/-->
+ <radio id="webdeveloper-url-radio" label="&webdeveloper.tool.url.label;" oncommand="webdeveloper_toggleToolType()"/>
+ </radiogroup>
+ </row>
+ </rows>
+ </grid>
+ <separator class="groove"/>
+ <vbox id="webdeveloper-application-options">
+ <description value="&webdeveloper.tool.application.description;"/>
+ <hbox align="center">
+ <textbox flex="1" id="webdeveloper.tool.path"/>
+ <button label="&webdeveloper.tool.application.choose.label;" oncommand="webdeveloper_chooseApplication()"/>
+ </hbox>
+ <separator/>
+ </vbox>
+ <vbox hidden="true" id="webdeveloper-bookmarklet-options">
+ <description value="&webdeveloper.tool.bookmarklet.description;"/>
+ <hbox align="center">
+ <label control="webdeveloper.tool.bookmarklet" value="&webdeveloper.bookmarklet.label;"/>
+ <textbox flex="1" id="webdeveloper.tool.bookmarklet"/>
+ </hbox>
+ </vbox>
+ <vbox hidden="true" id="webdeveloper-url-options">
+ <description value="&webdeveloper.tool.url.description;"/>
+ <description value="&webdeveloper.tool.url.example;"/>
+ <hbox align="center">
+ <label control="webdeveloper.tool.url" value="&webdeveloper.url.label;"/>
+ <textbox flex="1" id="webdeveloper.tool.url"/>
+ </hbox>
+ </vbox>
+ </vbox>
+</dialog>