From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2001 17:16:40 +0000 (+0000)
Subject: Small bug: the theory was open in the graph windows instead of its own.
X-Git-Tag: v0_1_3~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21107268ef7aabd4a77c3c4e5e6e2f0c48011b15;p=helm.git

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 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]
 ];
 ]]>