From f2424ba9ecd13915d8e20b39031bec628528427a Mon Sep 17 00:00:00 2001
From: Jan Michel <j.michel@gsi.de>
Date: Sun, 4 Aug 2013 16:57:11 +0200
Subject: [PATCH] alternate stylesheet for jtageditor

---
 tools/jtageditor.pl | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index 4a61757..bac9a18 100755
--- 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 = "&nbsp;&plus;&nbsp;";
 } else {
-  document.getElementById(elementId).style.visibility = "visible" ;
+  //document.getElementById(elementId).style.visibility = "visible" ;
   document.getElementById(elementId).style.maxHeight = "600px";
   visHash[elementId]=true;
   t.innerHTML = "&nbsp;&minus;&nbsp;";
@@ -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;
   }
-- 
2.43.0