var fDesc=new Array();
fDesc[0] = "Wicked Shell is an Eclipse plugin providing direct access to your system&#039;s shell. To be honest, Wicked Shell is not evil at all, although it calls itself wicked...<br /> <br /> Wicked Shell is a small plugin trying to support your daily work with the Eclipse IDE. Although it is called Wicked Shell, it&#039;s not a real shell itself. Wicked Shell is an eclipse plugin which functions as mediator between a Runtime process and a SWT Text widget. That means the output of the Runtime process is transferred to the widget and the text typed in the widget is transferred to the process as input. So Wicked Shell is not an actual shell but only uses an existing shell implementation.";

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 = '';
	}
}