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=0d787d2d220b4920dfb8a2d25a4a99fc47425454;hpb=26c461f9651e905e5c8276be0f38ec770d4fb76e;p=helm.git

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 0d787d2d2..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>
@@ -81,7 +80,6 @@
       <table bgColor="cyan" border="2">
        <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>
@@ -107,16 +105,6 @@
    <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="makeGraphURL">
    <xsl:with-param name="uri" select="@href"/>
@@ -144,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/>