]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/makeGraphLinks.xsl
Also starting from metadatas it is now possible to select the number
[helm.git] / helm / on-line / xslt / makeGraphLinks.xsl
index f015511b6d35f60f9c69b7f19f469445acbb2246..9e602a21e3ecab4a3cbb78757479e4c5ed9dc58f 100644 (file)
@@ -28,7 +28,9 @@
  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
  xmlns:subst="http://www.cs.unibo.it/helm/subst">
 
+<!--CSC: code cut & pasted also in metadataLib.xsl -->
 <xsl:param name="uri_set_size" select="'30'"/>
+<!--CSC: end of cut & paste also in metadataLib.xsl -->
 
 <xsl:output method="html" encoding="iso-8859-1"/>
 
@@ -114,10 +116,12 @@ HM_PG_NSFontOver = true;
 </xsl:template>
 
 <xsl:template match="body">
+  <!--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>
+  <!--CSC: end of cut & paste also in metadataLib.xsl -->
   <xsl:copy>
    <xsl:copy-of select="@*"/>
    <xsl:apply-templates/>
@@ -127,10 +131,10 @@ HM_Array1 = [
 [,,,
 ,,,,,,,,,,,,,,,,
 1,true],
-["Objects this one depends on.","javascript:window.open(mkDepURL(selectedURI,false),'graph')",1,0,0],
+["Objects this one depends on.","javascript:window.open(mkDepURL(selectedURI),'graph')",1,0,0],
 ["Render this object.","javascript:window.open(mkCICURL(selectedURI),'cic')",1,0,0],
 ["Objects depending directly on this one.","javascript:window.open(mkMetaTheoryURL(selectedURI),'graph')",1,0,0],
-["Objects depending on this one.","javascript:window.open(mkMetaURL(selectedURI,false),'graph')",1,0,0]
+["Objects depending on this one.","javascript:window.open(mkMetaURL(selectedURI),'graph')",1,0,0]
 ];
 ]]>
    </script>