doc/webdeveloper/options/pages/colors_fonts.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_initializeColorsAndFonts()"
   7       xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
   8
   9     <groupbox>
  10         <caption label="&webdeveloper.generated.content.caption;"/>
  11         <hbox align="center">
  12             <label control="webdeveloper.generated.content.font.size" value="&webdeveloper.font.size.label;"/>
  13             <menulist id="webdeveloper.generated.content.font.size">
  14                 <menupopup>
  15                     <menuitem value="8" label="8"/>
  16                     <menuitem value="9" label="9"/>
  17                     <menuitem value="10" label="10"/>
  18                     <menuitem value="11" label="11"/>
  19                     <menuitem value="12" label="12"/>
  20                     <menuitem value="13" label="13"/>
  21                     <menuitem value="14" label="14"/>
  22                     <menuitem value="15" label="15"/>
  23                     <menuitem value="16" label="16"/>
  24                     <menuitem value="18" label="18"/>
  25                     <menuitem value="20" label="20"/>
  26                     <menuitem value="24" label="24"/>
  27                     <menuitem value="26" label="26"/>
  28                     <menuitem value="28" label="28"/>
  29                     <menuitem value="32" label="32"/>
  30                     <menuitem value="36" label="36"/>
  31                     <menuitem value="40" label="40"/>
  32                     <menuitem value="48" label="48"/>
  33                     <menuitem value="56" label="56"/>
  34                     <menuitem value="64" label="64"/>
  35                     <menuitem value="72" label="72"/>
  36                 </menupopup>
  37             </menulist>
  38         </hbox>
  39     </groupbox>
  40     <groupbox>
  41         <caption label="&webdeveloper.feature.tooltip.colors.caption;"/>
  42         <hbox align="center">
  43             <label control="webdeveloper.feature.tooltip.color.text" value="&webdeveloper.text.color.label;"/>
  44             <colorpicker id="webdeveloper.feature.tooltip.color.text" palettename="standard" type="button"/>
  45             <spacer class="small-spacer"/>
  46             <label control="webdeveloper.feature.tooltip.color.background" value="&webdeveloper.background.color.label;"/>
  47             <colorpicker id="webdeveloper.feature.tooltip.color.background" palettename="standard" type="button"/>
  48             <spacer class="small-spacer"/>
  49             <label control="webdeveloper.feature.tooltip.color.border" value="&webdeveloper.border.color.label;"/>
  50             <colorpicker id="webdeveloper.feature.tooltip.color.border" palettename="standard" type="button"/>
  51         </hbox>
  52         <separator/>
  53         <hbox align="center">
  54             <label control="webdeveloper.feature.tooltip.opacity" value="&webdeveloper.opacity.label;"/>
  55             <menulist id="webdeveloper.feature.tooltip.opacity">
  56                 <menupopup>
  57                     <menuitem value="1.0" label="1.0"/>
  58                     <menuitem value="0.9" label="0.9"/>
  59                     <menuitem value="0.8" label="0.8"/>
  60                     <menuitem value="0.7" label="0.7"/>
  61                     <menuitem value="0.6" label="0.6"/>
  62                     <menuitem value="0.5" label="0.5"/>
  63                     <menuitem value="0.4" label="0.4"/>
  64                     <menuitem value="0.3" label="0.3"/>
  65                     <menuitem value="0.2" label="0.2"/>
  66                     <menuitem value="0.1" label="0.1"/>
  67                 </menupopup>
  68             </menulist>
  69         </hbox>
  70     </groupbox>
  71 </page>