]> matita.cs.unibo.it Git - helm.git/commitdiff
Whoops. Forgot to open the CIC file in the cic window.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Oct 2001 16:42:52 +0000 (16:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Oct 2001 16:42:52 +0000 (16:42 +0000)
helm/graphs/tools/mk_html.pl

index e8c0aed17de8da2d9265ac03fdae7993c078968d..08ce976ebde7c50c09091b01954680f04bfc3bcc 100755 (executable)
@@ -200,7 +200,7 @@ HM_Array$count = [
 ,,,,,,,,,,,,,,,,
 1,true],
 ["Objects this one depends on.",mkDepURL('$uri'),1,0,1],
-["Render this object.",mkCICURL('$uri'),1,0,0],
+["Render this object.","javascript:window.open('" + mkCICURL('$uri') + "','cic')",1,0,0],
 ["Objects depending on this one.",mkMetaURL('$uri'),1,0,1],
 ];
   </script>