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

diff --git a/doc/webdeveloper/options/pages/view_source.xul b/doc/webdeveloper/options/pages/view_source.xul
new file mode 100644
index 0000000..20c8e45
--- /dev/null
+++ b/doc/webdeveloper/options/pages/view_source.xul
@@ -0,0 +1,41 @@
+<?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