js/switchmenuframe.js

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