js/switchmenuframe.js

   1 var vSwitch_Menu = 0;
   2 function Switch_Menu() {
   3   vSwitch_Menu=!vSwitch_Menu;
   4   SetMenuFolded(vSwitch_Menu);
   5   $.cookie('html-menu-folded', vSwitch_Menu);
   6 }
   7 function SetMenuFolded(on) {
   8   if (on) {
   9     $('#html-menu').removeClass('folded');
  10     $('#content').removeClass('folded');
  11   } else {
  12     $('#html-menu').addClass('folded');
  13     $('#content').addClass('folded');
  14   }
  15 }
  16 $(function(){
  17   vSwitch_Menu = $.cookie('html-menu-folded');
  18   SetMenuFolded(vSwitch_Menu);
  19 })