-/* This is used in bin/mozilla/kopf.pl to switch the HTML side menu on/off
- 2010, Sven Donath, lxo@dexo.de */
-
var vSwitch_Menu = 1;
-var FrameSize = (parent.document.getElementById('menuframe').cols);
-
-function Switch_Menu()
-{
- if (vSwitch_Menu)
- {
- vSwitch_Menu=false;
- parent.document.getElementById('menuframe').setAttribute('cols','30,*');
- }
- else
- {
- vSwitch_Menu=true;
- parent.document.getElementById('menuframe').setAttribute('cols',FrameSize);
- }
- return;
+function Switch_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');
+ }
+}
+$(function(){
+ SetMenuFolded(vSwitch_Menu);
+})