var fDesc=new Array(); fDesc[0] = "Displays a log of any kind in the real time. Enables to define three groups of log lines, filter them and display in different colors. Opens and closes log files automatically in dependency on their file date/time stamp or the file name. Widely supports command line options. Supports Ansi, UTF-8 and Unicode encodings."; 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 = ''; } }