// Datei:		displayMenu.js
// Funktion:	Stellt die Funktionen zur Verfuegung, um HTML-Elemente sichtbar
//				resp. unsichtbar zu machen. Dies wird bei der Darstellung von
//				Untermenus angewendet.
// Datum:		12.01.2006
// Input:		Liste der Element-Ids mit der Funktion create_menu einrichten
// Output:		Sichtbarkeit von Element wird ein/ausgeschaltet


DMvisibility = new Object();

function create_menu(menu_list) {
	for (var i=0; i<arguments.length; i++) {
		menu_name = arguments[i];
		DMvisibility[menu_name] = false;
	}
}

function toggle_menu(menu_name) {
	DMelementID = document.getElementById(menu_name);
	if (DMvisibility[menu_name] == true) {
		DMelementID.style.display = "none";
		DMvisibility[menu_name] = false;
	}
	else {
		DMelementID.style.display = "block";
		DMvisibility[menu_name] = true;
	}
}