From dc80ca27f06a9522f2f833ea65f5ffda757b3116 Mon Sep 17 00:00:00 2001
From: Jan Michel <j.michel@gsi.de>
Date: Sun, 4 Aug 2013 16:58:01 +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 bac9a18..1111a72 100755
--- a/tools/jtageditor.pl
+++ b/tools/jtageditor.pl
@@ -744,7 +744,7 @@ if( document.getElementById(elementId).style.maxHeight == "600px") {
   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,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;
   }
-- 
2.43.0