alternate stylesheet for jtageditor

diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index 4a61757ff36c5a412212502322ace5bea0afa954..bac9a181422939a64cf1fbd5ce363ada4a2ad2b2 100755 (executable)
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -738,13 +738,13 @@ getdata('$me?print=fileSelection&configFile='+file_,'fileSelection',false);
 
 function toggleVis(elementId,t) {
 if(document.getElementById(elementId)){
-if( document.getElementById(elementId).style.visibility == "visible") {
-  document.getElementById(elementId).style.visibility = "collapse";
+if( document.getElementById(elementId).style.maxHeight == "600px") {
+  //document.getElementById(elementId).style.visibility = "collapse";
   document.getElementById(elementId).style.maxHeight = "1px";
   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,21 +753,21 @@ if( document.getElementById(elementId).style.visibility == "visible") {
 }
 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;
   }
 }
 function hideElement(elementId) {
   if(document.getElementById(elementId)){
-  document.getElementById(elementId).style.visibility = "hidden" ;
+  //document.getElementById(elementId).style.visibility = "hidden" ;
   document.getElementById(elementId).style.maxHeight = "1px";
   visHash[elementId]=false;
   }
 }
 function collapseElement(elementId) {
   if(document.getElementById(elementId)){
-  document.getElementById(elementId).style.visibility = "collapse" ;
+  //document.getElementById(elementId).style.visibility = "collapse" ;
   document.getElementById(elementId).style.maxHeight = "1px";
   visHash[elementId]=false;
   }