- if (Frame) {
- Frame.attr('cols',vSwitch_Menu ? '30,*' : FrameSize);
- vSwitch_Menu=!vSwitch_Menu;
+ vSwitch_Menu=!vSwitch_Menu;
+ SetMenuFolded(vSwitch_Menu);
+}
+function SetMenuFolded(on) {
+ if (on) {
+ $('#html-menu').removeClass('folded');
+ $('#content').removeClass('folded');
+ } else {
+ $('#html-menu').addClass('folded');
+ $('#content').addClass('folded');