+++ /dev/null
-<?xml version="1.0"?>
-<?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
-
-<!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
-
-<page onload="parent.webdeveloper_initializeKeys()"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
- <groupbox>
- <caption label="&webdeveloper.keyboard.shortcuts.caption;"/>
- <description value="&webdeveloper.keyboard.shortcuts.label;"/>
- <description value="&webdeveloper.tools.shortcuts.label;"/>
- <separator/>
- <grid class="scroll">
- <columns>
- <column/>
- <spacer class="small-spacer"/>
- <column/>
- </columns>
- <rows id="webdeveloper-key-rows"/>
- </grid>
- </groupbox>
-</page>
\ No newline at end of file