doc/webdeveloper/options/pages/dashboard.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_initializeDashboard()"
   7       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.edit.features;"/>
  11         <hbox align="center">
  12             <label control="webdeveloper.edit.color.text" value="&webdeveloper.text.color.label;"/>
  13             <colorpicker id="webdeveloper.edit.color.text" palettename="standard" type="button"/>
  14             <spacer class="small-spacer"/>
  15             <label control="webdeveloper.edit.color.background" value="&webdeveloper.background.color.label;"/>
  16             <colorpicker id="webdeveloper.edit.color.background" palettename="standard" type="button"/>
  17         </hbox>
  18         <separator/>
  19         <hbox align="center">
  20             <label control="webdeveloper.edit.font.size" value="&webdeveloper.font.size.label;"/>
  21             <menulist id="webdeveloper.edit.font.size">
  22                 <menupopup>
  23                     <menuitem value="8" label="8"/>
  24                     <menuitem value="9" label="9"/>
  25                     <menuitem value="10" label="10"/>
  26                     <menuitem value="11" label="11"/>
  27                     <menuitem value="12" label="12"/>
  28                     <menuitem value="13" label="13"/>
  29                     <menuitem value="14" label="14"/>
  30                     <menuitem value="15" label="15"/>
  31                     <menuitem value="16" label="16"/>
  32                     <menuitem value="18" label="18"/>
  33                     <menuitem value="20" label="20"/>
  34                     <menuitem value="24" label="24"/>
  35                     <menuitem value="26" label="26"/>
  36                     <menuitem value="28" label="28"/>
  37                     <menuitem value="32" label="32"/>
  38                     <menuitem value="36" label="36"/>
  39                     <menuitem value="40" label="40"/>
  40                     <menuitem value="48" label="48"/>
  41                     <menuitem value="56" label="56"/>
  42                     <menuitem value="64" label="64"/>
  43                     <menuitem value="72" label="72"/>
  44                 </menupopup>
  45             </menulist>
  46             <spacer class="small-spacer"/>
  47             <checkbox id="webdeveloper.edit.wrap" label="&webdeveloper.edit.wrap;"/>
  48         </hbox>
  49         <separator/>
  50         <hbox align="center">
  51             <label control="webdeveloper.edit.update.frequency" value="&webdeveloper.edit.update.frequency;"/>
  52             <textbox id="webdeveloper.edit.update.frequency" size="4"/>
  53         </hbox>
  54     </groupbox>
  55     <groupbox>
  56         <caption label="&webdeveloper.open.dashboard;"/>
  57         <checkbox id="webdeveloper.style.information.dashboard" label="&webdeveloper.style.information.dashboard;"/>
  58         <checkbox id="webdeveloper.dom.inspector.dashboard" label="&webdeveloper.dom.inspector.dashboard;"/>
  59         <checkbox id="webdeveloper.error.console.dashboard" label="&webdeveloper.error.console.dashboard;"/>
  60     </groupbox>
  61 </page>