]> matita.cs.unibo.it Git - helm.git/commitdiff
Files with annotations available now use a different icon
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 11:48:37 +0000 (11:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Mar 2001 11:48:37 +0000 (11:48 +0000)
helm/on-line/xslt/ls2html.xsl

index fc3887719cd6ca3e6dfbbb2117f197e5ea770117..4521eaaf46069aa55aa0d71ad576e87eb45d253c 100644 (file)
  <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}"