2 <?xml-stylesheet href="chrome://webdeveloper/content/options/dialogs/tool.css" type="text/css"?>
4 <!DOCTYPE dialog SYSTEM "chrome://webdeveloper/locale/dialogs.dtd">
6 <dialog buttons="accept, cancel"
7 id="webdeveloper-tool-dialog"
8 ondialogaccept="return webdeveloper_saveTool()"
9 ondialogcancel="webdeveloper_clearTool()"
10 onload="webdeveloper_initializeTool()"
11 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
13 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/platform.js"/>
14 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/prompt.js"/>
15 <script type="application/x-javascript" src="chrome://webdeveloper/content/common/string.js"/>
16 <script type="application/x-javascript" src="chrome://webdeveloper/content/options/dialogs/tool.js"/>
18 <stringbundleset id="stringbundleset">
19 <stringbundle id="webdeveloper-string-bundle" src="chrome://webdeveloper/locale/webdeveloper.properties"/>
30 <label control="webdeveloper.tool.description" value="&webdeveloper.description.label;"/>
31 <textbox id="webdeveloper.tool.description" size="50"/>
34 <label control="webdeveloper.tool.key" value="&webdeveloper.keyboard.shortcut.label;"/>
36 <description id="webdeveloper-keyboard-shortcut-modifiers"/>
37 <textbox id="webdeveloper.tool.key" maxlength="1" size="1"/>
42 <description value="&webdeveloper.tool.type.label;"/>
43 <radiogroup align="center" orient="horizontal">
44 <radio id="webdeveloper-application-radio" selected="true" label="&webdeveloper.tool.application.label;" oncommand="webdeveloper_toggleToolType()"/>
45 <!--radio id="webdeveloper-bookmarklet-radio" label="&webdeveloper.tool.bookmarklet.label;" oncommand="webdeveloper_toggleToolType()"/-->
46 <radio id="webdeveloper-url-radio" label="&webdeveloper.tool.url.label;" oncommand="webdeveloper_toggleToolType()"/>
51 <separator class="groove"/>
52 <vbox id="webdeveloper-application-options">
53 <description value="&webdeveloper.tool.application.description;"/>
55 <textbox flex="1" id="webdeveloper.tool.path"/>
56 <button label="&webdeveloper.tool.application.choose.label;" oncommand="webdeveloper_chooseApplication()"/>
60 <vbox hidden="true" id="webdeveloper-bookmarklet-options">
61 <description value="&webdeveloper.tool.bookmarklet.description;"/>
63 <label control="webdeveloper.tool.bookmarklet" value="&webdeveloper.bookmarklet.label;"/>
64 <textbox flex="1" id="webdeveloper.tool.bookmarklet"/>
67 <vbox hidden="true" id="webdeveloper-url-options">
68 <description value="&webdeveloper.tool.url.description;"/>
69 <description value="&webdeveloper.tool.url.example;"/>
71 <label control="webdeveloper.tool.url" value="&webdeveloper.url.label;"/>
72 <textbox flex="1" id="webdeveloper.tool.url"/>