-<?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_initializeResize()"
- xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
- <groupbox>
- <caption label="&webdeveloper.options.resize.label;"/>
- <hbox align="top">
- <listbox flex="1" id="webdeveloper-listbox" rows="18" onselect="parent.webdeveloper_listBoxSelected()">
- <listhead>
- <listheader label="&webdeveloper.description.header;"/>
- <listheader label="&webdeveloper.width.header;"/>
- <listheader label="&webdeveloper.height.header;"/>
- <listheader label="&webdeveloper.viewport.header;"/>
- </listhead>
- <listcols>
- <listcol flex="1"/>
- <listcol/>
- <listcol/>
- <listcol/>
- </listcols>
- </listbox>
- <vbox>
- <button id="webdeveloper-move-up" label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
- <button id="webdeveloper-move-down" label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
- </vbox>
- </hbox>
- <hbox>
- <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addResize()"/>
- <button id="webdeveloper-edit" label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editResize()"/>
- <button id="webdeveloper-delete" label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteResize()"/>
- </hbox>
- </groupbox>
-</page>
\ No newline at end of file