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

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

diff --git a/tools/jtageditor.pl b/tools/jtageditor.pl
index f7c574d..08e8361 100755
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -767,8 +767,8 @@ function hideElement(elementId) {
 }
 function collapseElement(elementId) {
   if(document.getElementById(elementId)){
-  //document.getElementById(elementId).style.visibility = "collapse" ;
-  document.getElementById(elementId).style.maxHeight = "1px";
+  document.getElementById(elementId).style.visibility = "collapse" ;
+  document.getElementById(elementId).style.height = "0px";
   visHash[elementId]=false;
   }
 }
-- 
2.43.0