git-svn-id: svn://euphorik.ch/pompage@45 02bbb61a-6d21-0410-aba0-cb053bdfd66a

[pompage.git] / doc / webdeveloper / options / pages / dashboard.xul

diff --git a/doc/webdeveloper/options/pages/dashboard.xul b/doc/webdeveloper/options/pages/dashboard.xul
new file mode 100644 (file)
index 0000000..b1a4110
--- /dev/null
+++ b/doc/webdeveloper/options/pages/dashboard.xul
@@ -0,0 +1,61 @@
+<?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_initializeDashboard()"
+      xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
+
+    <groupbox>
+        <caption label="&webdeveloper.edit.features;"/>
+        <hbox align="center">
+            <label control="webdeveloper.edit.color.text" value="&webdeveloper.text.color.label;"/>
+            <colorpicker id="webdeveloper.edit.color.text" palettename="standard" type="button"/>
+            <spacer class="small-spacer"/>
+            <label control="webdeveloper.edit.color.background" value="&webdeveloper.background.color.label;"/>
+            <colorpicker id="webdeveloper.edit.color.background" palettename="standard" type="button"/>
+        </hbox>
+        <separator/>
+        <hbox align="center">
+            <label control="webdeveloper.edit.font.size" value="&webdeveloper.font.size.label;"/>
+            <menulist id="webdeveloper.edit.font.size">
+                <menupopup>
+                    <menuitem value="8" label="8"/>
+                    <menuitem value="9" label="9"/>
+                    <menuitem value="10" label="10"/>
+                    <menuitem value="11" label="11"/>
+                    <menuitem value="12" label="12"/>
+                    <menuitem value="13" label="13"/>
+                    <menuitem value="14" label="14"/>
+                    <menuitem value="15" label="15"/>
+                    <menuitem value="16" label="16"/>
+                    <menuitem value="18" label="18"/>
+                    <menuitem value="20" label="20"/>
+                    <menuitem value="24" label="24"/>
+                    <menuitem value="26" label="26"/>
+                    <menuitem value="28" label="28"/>
+                    <menuitem value="32" label="32"/>
+                    <menuitem value="36" label="36"/>
+                    <menuitem value="40" label="40"/>
+                    <menuitem value="48" label="48"/>
+                    <menuitem value="56" label="56"/>
+                    <menuitem value="64" label="64"/>
+                    <menuitem value="72" label="72"/>
+                </menupopup>
+            </menulist>
+            <spacer class="small-spacer"/>
+            <checkbox id="webdeveloper.edit.wrap" label="&webdeveloper.edit.wrap;"/>
+        </hbox>
+        <separator/>
+        <hbox align="center">
+            <label control="webdeveloper.edit.update.frequency" value="&webdeveloper.edit.update.frequency;"/>
+            <textbox id="webdeveloper.edit.update.frequency" size="4"/>
+        </hbox>
+    </groupbox>
+    <groupbox>
+        <caption label="&webdeveloper.open.dashboard;"/>
+        <checkbox id="webdeveloper.style.information.dashboard" label="&webdeveloper.style.information.dashboard;"/>
+        <checkbox id="webdeveloper.dom.inspector.dashboard" label="&webdeveloper.dom.inspector.dashboard;"/>
+        <checkbox id="webdeveloper.error.console.dashboard" label="&webdeveloper.error.console.dashboard;"/>
+    </groupbox>
+</page>
\ No newline at end of file