Seitliches HTML-Menü lässt sich ein- und ausklappen. (update)

Sorry, Datei an falscher Stelle gewesen.

diff --git a/bin/mozilla/switchmenuframe.js b/bin/mozilla/switchmenuframe.js
deleted file mode 100644 (file)
index 0399a2e..0000000
--- a/bin/mozilla/switchmenuframe.js
+++ /dev/null
@@ -1,20 +0,0 @@
-/* This is used in bin/mozilla/kopf.pl to switch the HTML sidemenu on/off
-   2010, Sven Donath, lxo@dexo.de  */
-
-var vSwitch_Menu = 1;
-
-function Switch_Menu(framesize)
-{
-       if (vSwitch_Menu)
-       {
-               vSwitch_Menu=false;
-                parent.document.getElementById('menuframe').setAttribute('cols','30,*')
-       }
-       else
-       {
-               vSwitch_Menu=true;
-                               framesize = framesize + ',*';
-                parent.document.getElementById('menuframe').setAttribute('cols',framesize);
-    }
-       return;
-}

diff --git a/js/switchmenuframe.js b/js/switchmenuframe.js
new file mode 100644 (file)
index 0000000..0399a2e
--- /dev/null
+++ b/js/switchmenuframe.js
@@ -0,0 +1,20 @@
+/* This is used in bin/mozilla/kopf.pl to switch the HTML sidemenu on/off
+   2010, Sven Donath, lxo@dexo.de  */
+
+var vSwitch_Menu = 1;
+
+function Switch_Menu(framesize)
+{
+       if (vSwitch_Menu)
+       {
+               vSwitch_Menu=false;
+                parent.document.getElementById('menuframe').setAttribute('cols','30,*')
+       }
+       else
+       {
+               vSwitch_Menu=true;
+                               framesize = framesize + ',*';
+                parent.document.getElementById('menuframe').setAttribute('cols',framesize);
+    }
+       return;
+}