/* FUNCTIONS FOR POPUP MENUS */


// timer for executing menu closing
var editmenuTimer;
// which menu index is to be closed
var timedMenu = 0;
// how long it takes for menu to close if exited
var menuTime = 700;



/* open a popup menu, when adjacent link is touched */
function openMenu (index)
{
	// close already open menu
	if (timedMenu > 0)
	  closeMenu (timedMenu);
	  
	// erase existing closing timers
    clearTimeout (editmenuTimer);
	
	document.getElementById("editmenu_"+index).style.visibility = "visible";
}

/* link/menu exited, start menu closing timer */
function toggleCloseMenu (index)
{
	timedMenu = index;
	editmenuTimer = setTimeout ("closeMenu()", menuTime);
}

/* menu touched, erase menu closing timer */
function stopCloseMenu ()
{
	clearTimeout (editmenuTimer);
}


/* this is the function called after the set time */
function closeMenu ()
{
	if (timedMenu > 0)
	  document.getElementById("editmenu_"+timedMenu).style.visibility = "hidden";
	  
    timedMenu = 0;
	clearTimeout (editmenuTimer);
}

function showHideMenu(idDep,id){
     ID = document.getElementById(id);
     IDDep= document.getElementById(idDep);
     if (IDDep.checked==false) ID.style.display="none";
     else if (IDDep.checked==true) ID.style.display=""; 	
}

function runPdfLink(url){
//	window.open(url,'Ovi Appbuilder');
//	window.location.href=url;
	var newWindow = window.open(url, '_blank');
	newWindow.focus();
//	return false;
	
}