From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 4 May 2001 09:14:45 +0000 (+0000)
Subject: Bug fixed: following a link to an object inside a theory opened the object
X-Git-Tag: v0_1_2~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0706aaeb40d7d17c3f58b49389cb3e7dc55759d8;p=helm.git

Bug fixed: following a link to an object inside a theory opened the object
 with the header of the theories.
---

diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index a3000f3e8..8f18a4882 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -35,6 +35,7 @@
 <xsl:param name="getterURL" select="'http://localhost:8081/'"/>
 <xsl:param name="processorURL" select="'http://localhost:8080/helm/servlet/uwobo/'"/>
 <xsl:param name="interfaceURL" select="''"/>
+<xsl:param name="thinterfaceURL" select="''"/>
 <!-- Keys contains the keys of the stylesheets to be applied following links-->
 <xsl:param name="keys" select="'C1,HC2,L'"/>
 <!-- Thkeys contains the keys of the stylesheets to be applied at the first 
@@ -131,6 +132,12 @@ step for expanding objects -->
  </xsl:call-template>
 </xsl:variable>
 
+<xsl:variable name="escaped-thinterfaceURL">
+ <xsl:call-template name="quote">
+  <xsl:with-param name="s" select="$thinterfaceURL"/>
+ </xsl:call-template>
+</xsl:variable>
+
 <xsl:variable name="quotedthkeys">
  <xsl:call-template name="quote">
   <xsl:with-param name="s" select="'T1,T2,L,E'"/>
@@ -162,9 +169,10 @@ step for expanding objects -->
 </xsl:variable>
 
 <xsl:variable name="header0"><xsl:value-of select="$interfaceURL"/>?url=</xsl:variable>
+<xsl:variable name="thheader0"><xsl:value-of select="$thinterfaceURL"/>?url=</xsl:variable>
 <xsl:variable name="header1"><xsl:value-of select="$escaped-processorURL"/>apply?keys=</xsl:variable>
 <xsl:variable name="header2">&#x26;param.naturalLanguage=<xsl:value-of select="$naturalLanguage"/>&#x26;param.annotations=<xsl:value-of select="$annotations"/>&#x26;prop.media-type=<xsl:value-of select="$media-type"/>&#x26;param.media-type=<xsl:value-of select="$media-type"/>&#x26;prop.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;param.doctype-public=<xsl:value-of select="$escaped-doctype-public"/>&#x26;prop.encoding=<xsl:value-of select="$encoding"/>&#x26;param.encoding=<xsl:value-of select="$encoding"/>&#x26;param.keys=<xsl:value-of select="$quotedkeys"/>&#x26;param.getterURL=<xsl:value-of select="$escaped-getterURL"/>&#x26;param.processorURL=<xsl:value-of select="$escaped-processorURL"/>&#x26;param.interfaceURL=<xsl:value-of select="$escaped-interfaceURL"/>&#x26;xmluri=<xsl:value-of select="$absPath"/></xsl:variable>
-<xsl:variable name="header3">&#x26;param.thkeys=<xsl:value-of select="$quotedekeys"/></xsl:variable>
+<xsl:variable name="header3">&#x26;param.thkeys=<xsl:value-of select="$quotedekeys"/>&#x26;param.thinterfaceURL=<xsl:value-of select="$escaped-thinterfaceURL"/></xsl:variable>
 
 <xsl:variable name="quotedheader1">
  <xsl:call-template name="quote">
@@ -195,7 +203,7 @@ step for expanding objects -->
 </xsl:variable>
 
 <xsl:variable name="biquotedthfixedheader">
- <xsl:value-of select="$header0"/>
+ <xsl:value-of select="$thheader0"/>
  <xsl:value-of select="$quotedheader1"/>
  <xsl:value-of select="$quotedquotedthkeys"/>
  <xsl:value-of select="$quotedheader2"/>