X-Git-Url: http://git.euphorik.ch/?p=pompage.git;a=blobdiff_plain;f=doc%2Fwebdeveloper%2Foptions%2Fpages%2Fmiscellaneous.xul;fp=doc%2Fwebdeveloper%2Foptions%2Fpages%2Fmiscellaneous.xul;h=0000000000000000000000000000000000000000;hp=3eed9efad009a961de9b5d2b1452d62cf2850119;hb=eb7467621891b71883916c90f91bddf4c38d615f;hpb=de6efc861c1f471125cb4d3ab3d0f82572b3d21b

diff --git a/doc/webdeveloper/options/pages/miscellaneous.xul b/doc/webdeveloper/options/pages/miscellaneous.xul
deleted file mode 100644
index 3eed9ef..0000000
--- a/doc/webdeveloper/options/pages/miscellaneous.xul
+++ /dev/null
@@ -1,24 +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_initializeMiscellaneous()"
-      xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
-    <groupbox>
-        <caption label="&webdeveloper.forms.caption;"/>
-        <label control="webdeveloper.populate.form.fields.email" value="&webdeveloper.populate.form.fields.email.label;"/>
-        <textbox id="webdeveloper.populate.form.fields.email"/>
-    </groupbox>
-    <groupbox>
-        <caption label="&webdeveloper.information.caption;"/>
-        <checkbox id="webdeveloper.information.tidy" label="&webdeveloper.information.tidy;"/>
-    </groupbox>
-    <groupbox>
-        <caption label="&webdeveloper.warnings.errors.caption;"/>
-        <checkbox id="webdeveloper.open.css.console.error" label="&webdeveloper.open.css.console.error;"/>
-        <checkbox id="webdeveloper.open.javascript.console.warning" label="&webdeveloper.open.javascript.console.warning;"/>
-        <checkbox id="webdeveloper.open.javascript.console.error" label="&webdeveloper.open.javascript.console.error;"/>
-    </groupbox>
-</page>
\ No newline at end of file