From 800a6ff845ff951ff54a43fd4098b2e505f6eb02 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 1 Aug 2005 13:23:43 +0000
Subject: [PATCH] * Mark error lines in red, and expand subtrees containing
 errors   automatically.

---
 src/log2xml/log2html.xsl | 11 +++++++++--
 src/log2xml/logfile.css  |  5 +++++
 2 files changed, 14 insertions(+), 2 deletions(-)

diff --git a/src/log2xml/log2html.xsl b/src/log2xml/log2html.xsl
index f75b2eb86f..0718df230f 100644
--- a/src/log2xml/log2html.xsl
+++ b/src/log2xml/log2html.xsl
@@ -23,12 +23,14 @@
     </html>
   </xsl:template>
 
+  
   <xsl:template match="nest">
 
     <!-- The tree should be collapsed by default if all children are
          unimportant or if the header is unimportant. -->
-    <xsl:variable name="collapsed"
-                  select="count(.//line[not(@priority = 3)]) = 0 or ./head[@priority = 3]" />
+<!--    <xsl:variable name="collapsed"
+                  select="count(.//line[not(@priority = 3)]) = 0 or ./head[@priority = 3]" /> -->
+    <xsl:variable name="collapsed" select="count(.//*[@error]) = 0"/>
                   
     <xsl:variable name="style"><xsl:if test="$collapsed">display: none;</xsl:if></xsl:variable>
     <xsl:variable name="arg"><xsl:choose><xsl:when test="$collapsed">true</xsl:when><xsl:otherwise>false</xsl:otherwise></xsl:choose></xsl:variable>
@@ -52,13 +54,18 @@
       </xsl:for-each>
     </ul>
   </xsl:template>
+
   
   <xsl:template match="head|line">
     <code>
+      <xsl:if test="@error">
+        <xsl:attribute name="class">error</xsl:attribute>
+      </xsl:if>
       <xsl:apply-templates/>
     </code>
   </xsl:template>
 
+  
   <xsl:template match="storeref">
     <em class='storeref'>
       <span class='popup'><xsl:apply-templates/></span>
diff --git a/src/log2xml/logfile.css b/src/log2xml/logfile.css
index 1bdbe3c97b..ed390d64a9 100644
--- a/src/log2xml/logfile.css
+++ b/src/log2xml/logfile.css
@@ -78,4 +78,9 @@ em.storeref:hover span.popup {
 .showTree, .hideTree {
     font-family: monospace;
     font-size: larger;
+}
+
+.error {
+    color: #ff0000;
+    font-weight: bold;
 }
\ No newline at end of file