var fDesc=new Array();
fDesc[0] = "WildEdit is an interactive tool for power users to edit a set of plain text files in a folder hierarchy, filtered by wildcards. This makes it ideal for editing web pages and software source code, or reformatting log files and newsletters. It is not suitable for editing files with proprietary binary formats, such Microsoft Word documents.<br /> You simply specify the search text, optionally using a regular expression, the replacement text, and a wildcard filter, then let it run. This process can be repeated as often as is required, and up to the last 10 changes can be undone and redone.";

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