2 <?xml-stylesheet href="chrome://webdeveloper/content/options/options.css" type="text/css"?>
4 <!DOCTYPE page SYSTEM "chrome://webdeveloper/locale/options.dtd">
6 <page onload="parent.webdeveloper_initializeDashboard()"
7 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
10 <caption label="&webdeveloper.edit.features;"/>
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"/>
20 <label control="webdeveloper.edit.font.size" value="&webdeveloper.font.size.label;"/>
21 <menulist id="webdeveloper.edit.font.size">
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"/>
46 <spacer class="small-spacer"/>
47 <checkbox id="webdeveloper.edit.wrap" label="&webdeveloper.edit.wrap;"/>
51 <label control="webdeveloper.edit.update.frequency" value="&webdeveloper.edit.update.frequency;"/>
52 <textbox id="webdeveloper.edit.update.frequency" size="4"/>
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;"/>