var fDesc=new Array(); fDesc[0] = "The MapInfo Line Style Editor works by modifying the file from which MapInfo reads its line style definitions. MILISTED can open any valid MapInfo line style definition file, modify it, and save it with any name, however, MapInfo only experiences the changes when it starts up and reads the mapinfow.pen file it finds in the same directory as mapinfow.exe. You can have multiple line style definition files, but the only one that matters to MapInfo is the one named mapinfow.pen in the same directory as mapinfow.exe."; 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 = ''; } }