From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 26 May 2004 09:00:27 +0000 (+0000)
Subject: JSMmenu links fixed.
X-Git-Tag: pre_subst_in_kernel~86
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=26c461f9651e905e5c8276be0f38ec770d4fb76e;p=helm.git

JSMmenu links fixed.
---

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 4f946cbe6..0d787d2d2 100644
--- a/helm/on-line/xslt/makeGraphLinks.xsl
+++ b/helm/on-line/xslt/makeGraphLinks.xsl
@@ -79,10 +79,10 @@
     <table bgColor="green" id="pippo">
      <tr><td>
       <table bgColor="cyan" border="2">
-       <tr><td><a href="javascript: var _ = window.open(selectedForwardURL,'_blank')">Objects this one depends on.</a></td></tr>
-       <tr><td><a href="javascript: var _ = window.open(selectedCICURL,'_blank')">Render this object.</a></td></tr>
-       <tr><td><a href="javascript: var _ = window.open(selectedTheoryURL,'_blank')">Objects depending directly on this one.</a></td></tr>
-       <tr><td><a href="javascript: var _ = window.open(selectedBackwardURL,'_blank')">Objects depending on this one.</a></td></tr>
+       <tr><td><a href="javascript: var _ = window.open(selectedForwardURL)">Objects this one depends on.</a></td></tr>
+       <tr><td><a href="javascript: var _ = window.open(selectedCICURL,'_top')">Render this object.</a></td></tr>
+       <tr><td><a href="javascript: var _ = window.open(selectedTheoryURL)">Objects depending directly on this one.</a></td></tr>
+       <tr><td><a href="javascript: var _ = window.open(selectedBackwardURL)">Objects depending on this one.</a></td></tr>
       </table>
      </td></tr>
     </table>
@@ -118,8 +118,10 @@
   </xsl:call-template>
  </xsl:variable>
  <xsl:variable name="forwardURL">
-  <xsl:call-template name="makeForwardGraphURL">
+  <xsl:call-template name="makeGraphURL">
    <xsl:with-param name="uri" select="@href"/>
+   <xsl:with-param name="keys" select="'MDG'"/>
+   <xsl:with-param name="uri_set_size" select="$uri_set_size"/>
   </xsl:call-template>
  </xsl:variable>
  <xsl:variable name="quotedForwardURL">
@@ -128,8 +130,10 @@
   </xsl:call-template>
  </xsl:variable>
  <xsl:variable name="backwardURL">
-  <xsl:call-template name="makeBackwardGraphURL">
+  <xsl:call-template name="makeGraphURL">
    <xsl:with-param name="uri" select="@href"/>
+   <xsl:with-param name="keys" select="'MMG'"/>
+   <xsl:with-param name="uri_set_size" select="$uri_set_size"/>
   </xsl:call-template>
  </xsl:variable>
  <xsl:variable name="quotedBackwardURL">