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

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 45e88aa08..4ee9dcc24 100644
--- a/helm/on-line/xslt/makeGraphLinks.xsl
+++ b/helm/on-line/xslt/makeGraphLinks.xsl
@@ -67,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 -->
@@ -78,9 +74,9 @@
     <table bgColor="green" id="pippo">
      <tr><td>
       <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: 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: var _ = window.open(selectedBackwardURL)">Objects depending on this one.</a></td></tr>
+       <tr><td><a href="javascript: location = selectedBackwardURL">Objects depending on this one.</a></td></tr>
       </table>
      </td></tr>
     </table>