]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/ls2html.xsl
Bug fixing: now the link to the graphs produce extended URIs
[helm.git] / helm / on-line / xslt / ls2html.xsl
index fc3887719cd6ca3e6dfbbb2117f197e5ea770117..a7d27e996128ba943ac57c1ef87ad1202da520bb 100644 (file)
@@ -43,6 +43,7 @@
    <img border="0" src="{concat($interfaceURL,'/icons/',$icon)}" alt="[{$alt}]"/>
   </td>
   <td>
+<!-- Substituted with next lines to avoid Mozilla 0.8 bug setting this.search
     <a
       onClick=
        "top.{$target}uri='{$uri}';
       onMouseOver="window.status='{$uri}'; return true"
       href="apply"
    ><xsl:value-of select="$basename"/></a>
+-->
+    <a
+      onClick=
+       "top.{$target}uri='{$uri}';
+        refresh{$target}Header('{$interfaceURL}/html/library/header.html');
+        var search='?keys={$keys}' +
+         '&amp;xmluri=' + escape('{$getterURL}ls?format=xml'+'&amp;baseuri={$uri}')+
+         '&amp;param.uri={$uri}' +
+         '&amp;param.keys={$keys}' +
+         '&amp;param.getterURL={$getterURL}' +
+         '&amp;param.target={$target}' +
+         '&amp;param.interfaceURL={$interfaceURL}';
+        var pathname = this.pathname;
+        if (pathname.charAt(0) != '/')
+         pathname = '/' + pathname;
+        this.href=
+         this.protocol + '//' + this.host + pathname + search + this.hash;"
+      onMouseOver="window.status='{$uri}'; return true"
+      href="apply"
+   ><xsl:value-of select="$basename"/></a>
   </td>
  </tr>
 </xsl:template>
@@ -66,6 +87,7 @@
   <head>
    <title>Index of <xsl:value-of select="$uri"/></title>
    <xsl:copy-of select="document(concat($interfaceURL,'/javascript/control.js_xml'))" />
+   <xsl:copy-of select="document(concat($interfaceURL,'/javascript/utils.js_xml'))" />
   </head>
   <body bgcolor="#ffffff" text="#000000">
    <table>
  <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}"