X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fxslt%2FmakeGraphLinks.xsl;h=45e88aa085680a3fdbc961ca0cefd120c449ea07;hb=f82bff515257cee1dd485b251763ea4a8d5ca0e2;hp=4f946cbe66af83bcc26c759691c55a69ca556ee4;hpb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;p=helm.git

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 4f946cbe6..45e88aa08 100644
--- a/helm/on-line/xslt/makeGraphLinks.xsl
+++ b/helm/on-line/xslt/makeGraphLinks.xsl
@@ -54,7 +54,6 @@
     var lastX, lastY;
     var selectedURI;
     var selectedCICURL;
-    var selectedTheoryURL;
     var selectedForwardURL;
     var selectedBackwardURL;
    </script>
@@ -79,10 +78,9 @@
     <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(selectedBackwardURL)">Objects depending on this one.</a></td></tr>
       </table>
      </td></tr>
     </table>
@@ -107,19 +105,11 @@
    <xsl:with-param name="s" select="$cicurl"/>
   </xsl:call-template>
  </xsl:variable>
- <xsl:variable name="theoryurl">
-  <xsl:call-template name="makeDirectDependenciesURL">
-   <xsl:with-param name="uri" select="@href"/>
-  </xsl:call-template>
- </xsl:variable>
- <xsl:variable name="quotedtheoryurl">
-  <xsl:call-template name="jsquote">
-   <xsl:with-param name="s" select="$theoryurl"/>
-  </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 +118,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">
@@ -140,7 +132,7 @@
  <xsl:copy>
   <xsl:copy-of select="@*"/> 
   <xsl:if test="starts-with(@href,&quot;cic:&quot;)">
-   <xsl:attribute name="onMouseOver">lastX = getX(event); lastY = getY(event); selectedURI='<xsl:value-of select="$quoteduri"/>'; selectedCICURL='<xsl:value-of select="$quotedcicurl"/>'; selectedTheoryURL='<xsl:value-of select="$quotedtheoryurl"/>'; selectedForwardURL='<xsl:value-of select="$quotedForwardURL"/>'; selectedBackwardURL='<xsl:value-of select="$quotedBackwardURL"/>';</xsl:attribute>
+   <xsl:attribute name="onMouseOver">lastX = getX(event); lastY = getY(event); selectedURI='<xsl:value-of select="$quoteduri"/>'; selectedCICURL='<xsl:value-of select="$quotedcicurl"/>'; selectedForwardURL='<xsl:value-of select="$quotedForwardURL"/>'; selectedBackwardURL='<xsl:value-of select="$quotedBackwardURL"/>';</xsl:attribute>
    <xsl:attribute name="href">javascript:moveMenu(lastX,lastY); showMenu();</xsl:attribute>
   </xsl:if>
   <xsl:apply-templates/>