2 <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
4 <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
6 <page onload="parent.webdeveloper_initializeKeys()"
7 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
10 <caption label="&webdeveloper.keyboard.shortcuts.caption;"/>
11 <description value="&webdeveloper.keyboard.shortcuts.label;"/>
12 <description value="&webdeveloper.tools.shortcuts.label;"/>
17 <spacer class="small-spacer"/>
20 <rows id="webdeveloper-key-rows"/>