Small bug: the theory was open in the graph windows instead of its own.

diff --git a/helm/on-line/xslt/makeGraphLinks.xsl b/helm/on-line/xslt/makeGraphLinks.xsl
index 9e602a21e3ecab4a3cbb78757479e4c5ed9dc58f..3a74babdb2fc071586f4525d84830c019e38d6df 100644 (file)
--- 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]
 ];
 ]]>