doc/webdeveloper/options/pages/view_source.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_initializeViewSource()"
   7       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.view.source.caption;"/>
  11         <checkbox id="webdeveloper.view.source.tab" label="&webdeveloper.view.source.tab;"/>
  12     </groupbox>
  13     <groupbox>
  14         <caption label="&webdeveloper.view.source.with.label;"/>
  15         <description value="&webdeveloper.keyboard.shortcuts.label;"/>
  16         <separator/>
  17         <hbox align="top">
  18             <listbox flex="1" id="webdeveloper-listbox" rows="11" onselect="parent.webdeveloper_listBoxSelected()">
  19                 <listhead>
  20                     <listheader label="&webdeveloper.description.header;"/>
  21                     <listheader label="&webdeveloper.application.header;"/>
  22                     <listheader label="&webdeveloper.key.header;"/>
  23                 </listhead>
  24                 <listcols>
  25                     <listcol/>
  26                     <listcol flex="1"/>
  27                     <listcol/>
  28                 </listcols>
  29             </listbox>
  30             <vbox>
  31                 <button id="webdeveloper-move-up" label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
  32                 <button id="webdeveloper-move-down" label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
  33             </vbox>
  34         </hbox>
  35         <hbox>
  36             <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addViewSourceWith()"/>
  37             <button id="webdeveloper-edit" label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editViewSourceWith()"/>
  38             <button id="webdeveloper-delete" label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteViewSourceWith()"/>
  39         </hbox>
  40     </groupbox>
  41 </page>