From 21107268ef7aabd4a77c3c4e5e6e2f0c48011b15 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 25 Oct 2001 17:16:40 +0000 Subject: [PATCH] Small bug: the theory was open in the graph windows instead of its own. --- helm/on-line/xslt/makeGraphLinks.xsl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl index 9e602a21e..3a74babdb 100644 --- a/helm/on-line/xslt/makeGraphLinks.xsl +++ b/helm/on-line/xslt/makeGraphLinks.xsl @@ -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] ]; ]]> -- 2.39.2