alternate stylesheet for jtageditor

diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index bac9a181422939a64cf1fbd5ce363ada4a2ad2b2..1111a723ded3b8cb8d514164cf7f0837284a5a3f 100755 (executable)
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -744,7 +744,7 @@ if( document.getElementById(elementId).style.maxHeight == "600px") {
   visHash[elementId]=false;
   t.innerHTML = " + ";
 } else {
-  //document.getElementById(elementId).style.visibility = "visible" ;
+  document.getElementById(elementId).style.visibility = "visible" ;
   document.getElementById(elementId).style.maxHeight = "600px";
   visHash[elementId]=true;
   t.innerHTML = " − ";
@@ -753,7 +753,7 @@ if( document.getElementById(elementId).style.maxHeight == "600px") {
 }
 function showElement(elementId) {
   if(document.getElementById(elementId)){
-  //document.getElementById(elementId).style.visibility = "visible" ;
+  document.getElementById(elementId).style.visibility = "visible" ;
   document.getElementById(elementId).style.maxHeight = "600px";
   visHash[elementId]=true;
   }