]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/makeGraphLinks.xsl
Major interface improvements.
[helm.git] / helm / on-line / xslt / makeGraphLinks.xsl
index 0d787d2d220b4920dfb8a2d25a4a99fc47425454..45e88aa085680a3fdbc961ca0cefd120c449ea07 100644 (file)
@@ -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>
    <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"/>
  <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/>