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

diff --git a/doc/webdeveloper/options/pages/view_source.xul b/doc/webdeveloper/options/pages/view_source.xul
deleted file mode 100644
index 20c8e45..0000000
--- a/doc/webdeveloper/options/pages/view_source.xul
+++ /dev/null
@@ -1,41 +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_initializeViewSource()"
-      xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
-
-    <groupbox>
-        <caption label="&webdeveloper.view.source.caption;"/>
-        <checkbox id="webdeveloper.view.source.tab" label="&webdeveloper.view.source.tab;"/>
-    </groupbox>
-    <groupbox>
-        <caption label="&webdeveloper.view.source.with.label;"/>
-        <description value="&webdeveloper.keyboard.shortcuts.label;"/>
-        <separator/>
-        <hbox align="top">
-            <listbox flex="1" id="webdeveloper-listbox" rows="11" onselect="parent.webdeveloper_listBoxSelected()">
-                <listhead>
-                    <listheader label="&webdeveloper.description.header;"/>
-                    <listheader label="&webdeveloper.application.header;"/>
-                    <listheader label="&webdeveloper.key.header;"/>
-                </listhead>
-                <listcols>
-                    <listcol/>
-                    <listcol flex="1"/>
-                    <listcol/>
-                </listcols>
-            </listbox>
-            <vbox>
-                <button id="webdeveloper-move-up" label="&webdeveloper.options.move.up;" oncommand="parent.webdeveloper_moveUp()"/>
-                <button id="webdeveloper-move-down" label="&webdeveloper.options.move.down;" oncommand="parent.webdeveloper_moveDown()"/>
-            </vbox>
-        </hbox>
-        <hbox>
-            <button label="&webdeveloper.options.add;" oncommand="parent.webdeveloper_addViewSourceWith()"/>
-            <button id="webdeveloper-edit" label="&webdeveloper.options.edit;" oncommand="parent.webdeveloper_editViewSourceWith()"/>
-            <button id="webdeveloper-delete" label="&webdeveloper.options.delete;" oncommand="parent.webdeveloper_deleteViewSourceWith()"/>
-        </hbox>
-    </groupbox>
-</page>
\ No newline at end of file