]> matita.cs.unibo.it Git - helm.git/commitdiff
Small bug: the theory was open in the graph windows instead of its own.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2001 17:16:40 +0000 (17:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 25 Oct 2001 17:16:40 +0000 (17:16 +0000)
helm/on-line/xslt/makeGraphLinks.xsl

index 9e602a21e3ecab4a3cbb78757479e4c5ed9dc58f..3a74babdb2fc071586f4525d84830c019e38d6df 100644 (file)
@@ -133,7 +133,7 @@ HM_Array1 = [
 1,true],
 ["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 directly on this one.","javascript:window.open(mkMetaTheoryURL(selectedURI),'theory')",1,0,0],
 ["Objects depending on this one.","javascript:window.open(mkMetaURL(selectedURI),'graph')",1,0,0]
 ];
 ]]>