aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-08-01 13:23:43 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-08-01 13:23:43 +0000
commit800a6ff845ff951ff54a43fd4098b2e505f6eb02 (patch)
treed49f1fc29bb6927abf657cbcdaf248adde7b3890
parent78c72bf10eee4db5f2eb3f7caba8f46e5be51a0e (diff)
* Mark error lines in red, and expand subtrees containing errors
automatically.
-rw-r--r--src/log2xml/log2html.xsl11
-rw-r--r--src/log2xml/logfile.css5
2 files changed, 14 insertions, 2 deletions
diff --git a/src/log2xml/log2html.xsl b/src/log2xml/log2html.xsl
index f75b2eb86..0718df230 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 1bdbe3c97..ed390d64a 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