doc/webdeveloper/options/pages/resize.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_initializeResize()"
   7     xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.options.resize.label;"/>
  11         <hbox align="top">
  12             <listbox flex="1" id="webdeveloper-listbox" rows="18" onselect="parent.webdeveloper_listBoxSelected()">
  13                 <listhead>
  14                     <listheader label="&webdeveloper.description.header;"/>
  15                     <listheader label="&webdeveloper.width.header;"/>
  16                     <listheader label="&webdeveloper.height.header;"/>
  17                     <listheader label="&webdeveloper.viewport.header;"/>
  18                 </listhead>
  19                 <listcols>
  20                     <listcol flex="1"/>
  21                     <listcol/>
  22                     <listcol/>
  23                     <listcol/>
  24                 </listcols>
  25             </listbox>
  26             <vbox>
  27                 <button id="webdeveloper-move-up" label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
  28                 <button id="webdeveloper-move-down" label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
  29             </vbox>
  30         </hbox>
  31         <hbox>
  32             <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addResize()"/>
  33             <button id="webdeveloper-edit" label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editResize()"/>
  34             <button id="webdeveloper-delete" label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteResize()"/>
  35         </hbox>
  36     </groupbox>
  37 </page>