- 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);
+ if (vSwitch_Menu)
+ {
+ vSwitch_Menu=false;
+ parent.document.getElementById('menuframe').setAttribute('cols','30,*');
+ }
+ else
+ {
+ vSwitch_Menu=true;
+ parent.document.getElementById('menuframe').setAttribute('cols',FrameSize);