doc/webdeveloper/options/dialogs/tool.xul

   1 <?xml version="1.0"?>
   2 <?xml-stylesheet href="chrome://webdeveloper/content/options/dialogs/tool.css" type="text/css"?>
   3
   4 <!DOCTYPE dialog SYSTEM "chrome://webdeveloper/locale/dialogs.dtd">
   5
   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">
  12
  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"/>
  17
  18     <stringbundleset id="stringbundleset">
  19         <stringbundle id="webdeveloper-string-bundle" src="chrome://webdeveloper/locale/webdeveloper.properties"/>
  20     </stringbundleset>
  21
  22     <vbox>
  23         <grid>
  24             <columns>
  25                 <column/>
  26                 <column/>
  27             </columns>
  28             <rows>
  29                 <row align="center">
  30                     <label control="webdeveloper.tool.description" value="&webdeveloper.description.label;"/>
  31                     <textbox id="webdeveloper.tool.description" size="50"/>
  32                 </row>
  33                 <row align="center">
  34                     <label control="webdeveloper.tool.key" value="&webdeveloper.keyboard.shortcut.label;"/>
  35                     <hbox align="center">
  36                         <description id="webdeveloper-keyboard-shortcut-modifiers"/>
  37                         <textbox id="webdeveloper.tool.key" maxlength="1" size="1"/>
  38                         <spacer flex="1"/>
  39                     </hbox>
  40                 </row>
  41                 <row align="center">
  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()"/>
  47                     </radiogroup>
  48                 </row>
  49             </rows>
  50         </grid>
  51         <separator class="groove"/>
  52         <vbox id="webdeveloper-application-options">
  53             <description value="&webdeveloper.tool.application.description;"/>
  54             <hbox align="center">
  55                 <textbox flex="1" id="webdeveloper.tool.path"/>
  56                 <button label="&webdeveloper.tool.application.choose.label;" oncommand="webdeveloper_chooseApplication()"/>
  57             </hbox>
  58             <separator/>
  59         </vbox>
  60         <vbox hidden="true" id="webdeveloper-bookmarklet-options">
  61             <description value="&webdeveloper.tool.bookmarklet.description;"/>
  62             <hbox align="center">
  63                 <label control="webdeveloper.tool.bookmarklet" value="&webdeveloper.bookmarklet.label;"/>
  64                 <textbox flex="1" id="webdeveloper.tool.bookmarklet"/>
  65             </hbox>
  66         </vbox>
  67         <vbox hidden="true" id="webdeveloper-url-options">
  68             <description value="&webdeveloper.tool.url.description;"/>
  69             <description value="&webdeveloper.tool.url.example;"/>
  70             <hbox align="center">
  71                 <label control="webdeveloper.tool.url" value="&webdeveloper.url.label;"/>
  72                 <textbox flex="1" id="webdeveloper.tool.url"/>
  73             </hbox>
  74         </vbox>
  75     </vbox>
  76 </dialog>