git-svn-id: svn://euphorik.ch/pompage@47 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
deleted file mode 100644 (file)
index b1a4110..0000000
--- a/doc/webdeveloper/options/pages/dashboard.xul
+++ /dev/null
@@ -1,61 +0,0 @@
-<?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