From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 27 May 2004 17:55:33 +0000 (+0000)
Subject: Form to choose the number of nodes to show removed ;-(
X-Git-Tag: pre_subst_in_kernel~64
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fb140322b8ab662ee0325cfdf6fa93b7f6eb520c;p=helm.git

Form to choose the number of nodes to show removed ;-(
---

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 3cc6566ff..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 -->