var fDesc=new Array();
fDesc[0] = "Add JavaScript code to your HTML pages quickly and easily - giving your Web creations a real edge. Antechinus transforms your pages from displaying static content to live, dynamic, interactive applications. JavaScript Editor offers: * Unified color-coded syntax - both for JavaScript and Html * Ability to experiment - unlimited Undo and Redo are only one click away * Code templates: you can insert any reusable piece of text into your document with the minimal number of keystrokes * Context-sensitive help: just hit F1 to receive help on the function, method, or property under the cursor * Complete JavaScript reference * Comprehensive JavaScript tutorial from beginners to advanced users * Debugging: you can trace the state of your variables and objects using a simple debugging model * Bookmarking for easy navigation * Help as you type: Intellisense/Auto-complete eliminates the need to memorize standard functions, methods, properties and parameter lists. DOM2 and CSS are also supported. * The brace matching - see the scope of the function or expression immediately * Ability to automate code insertion and repetitive tasks, and provide macro-like capabilities via industry-standard Visual Basic for Applications (VBScript) * Single-click navigation between documents using document tabs * Find functions in your documents easily - they are automatically listed in the Functions tab * Macro capabilities: create macro commands using industry-standard VBScript for Applications * Create standard .js and .html files using predefined templates, or create your own templates, and * Categorized source code solutions.";

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