js/switchmenuframe.js

   1 /* This is used in bin/mozilla/kopf.pl to switch the HTML side menu on/off
   2    2010, Sven Donath, lxo@dexo.de  */
   3
   4 var vSwitch_Menu = 1;
   5 var FrameSize = (parent.document.getElementById('menuframe').cols);
   6
   7 function Switch_Menu()
   8 {
   9     if (vSwitch_Menu)
  10     {
  11         vSwitch_Menu=false;
  12                 parent.document.getElementById('menuframe').setAttribute('cols','30,*');
  13     }
  14     else
  15     {
  16         vSwitch_Menu=true;
  17                 parent.document.getElementById('menuframe').setAttribute('cols',FrameSize);
  18     }
  19     return;
  20 }