X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmakeGraphLinks.xsl;h=4ee9dcc24f867dfe3ba12d980682095306c89b16;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;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..4ee9dcc24 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>
@@ -68,10 +67,6 @@
    <xsl:copy-of select="@*"/>
    <xsl:attribute name="onClick">hideMenu();</xsl:attribute>
    <!--CSC: end of cut & paste also in metadataLib.xsl -->
-   <form name="uri_set_size">
-    Number of nodes to show when following an hyperlink:
-    <input type="text" onClick="return false" value="{$uri_set_size}" size="2"/> (30 suggested)
-   </form>
    <xsl:apply-templates/>
    <div style="position: absolute" id="HJMmenu">
     <!-- The two nested tables are for NS 4.0 where every -->
@@ -79,10 +74,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: location = 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: location = selectedBackwardURL">Objects depending on this one.</a></td></tr>
       </table>
      </td></tr>
     </table>
@@ -107,19 +101,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 +114,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 +128,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/>