doc/webdeveloper/options/pages/keys.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_initializeKeys()"
   7       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.keyboard.shortcuts.caption;"/>
  11         <description value="&webdeveloper.keyboard.shortcuts.label;"/>
  12         <description value="&webdeveloper.tools.shortcuts.label;"/>
  13         <separator/>
  14         <grid class="scroll">
  15             <columns>
  16                 <column/>
  17                 <spacer class="small-spacer"/>
  18                 <column/>
  19             </columns>
  20             <rows id="webdeveloper-key-rows"/>
  21         </grid>
  22     </groupbox>
  23 </page>