var fDesc=new Array();
fDesc[0] = "Form Editor is a browser extension for editing custom requests (GET or POST) to web server. The extension auto extracts forms from the web page, and it allows you to modify the form method, modify the form action, add or remove the pair and edit the pair.";

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