]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/mk_html.pl
Whoops. Forgot to open the CIC file in the cic window.
[helm.git] / 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>