var fDesc=new Array();
fDesc[0] = "Vagrant Manager is a Windows status bar menu app that lets you manage all of your vagrant machines from one central location. This open source app can automatically detect most machines. Undetected machines will require manual configuration via bookmarks.";

function tShowHide(id, show)
{
	var s = document.getElementById("desc");

	if ((s.innerHTML.length<=212 || show==1) && show!=2)
	{
		s.innerHTML = fDesc[id];
		if (document.getElementById('m1'))
			document.getElementById('m1').style.display='none';
		if (document.getElementById('m2'))
			document.getElementById('m2').style.display='none';
		if (document.getElementById('more_txt'))
			document.getElementById('more_txt').style.display='inline';
	}
	else
	{
		s.innerHTML = '';
	}
}