From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 16 Mar 2001 11:48:37 +0000 (+0000)
Subject: Files with annotations available now use a different icon
X-Git-Tag: v0_1_2~76
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2f7227d339116196ccbe52b86923051441e2647d;p=helm.git

Files with annotations available now use a different icon
---

diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl
index fc3887719..4521eaaf4 100644
--- a/helm/on-line/xslt/ls2html.xsl
+++ b/helm/on-line/xslt/ls2html.xsl
@@ -100,9 +100,15 @@
  <xsl:variable name="name" select="@name"/>
  <xsl:variable name="ann" select="ann/@value"/>
  <xsl:variable name="types" select="types/@value"/>
+ <xsl:variable name="icon">
+  <xsl:choose>
+   <xsl:when test="$ann = 'YES'">text.gif</xsl:when>
+   <xsl:otherwise>generic.red.gif</xsl:otherwise>
+  </xsl:choose>
+ </xsl:variable>
  <tr>
   <td>
-   <img border="0" src="{concat($interfaceURL,'/icons/generic.red.gif')}" alt="[{@name}]"/>
+   <img border="0" src="{concat($interfaceURL,'/icons/',$icon)}" alt="[{@name}]"/>
   </td>
   <td>
    <a href="" target="{$target}"