From 719bf6e8e122161414a94763cd1557fa323360ea Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 9 Oct 2001 16:34:38 +0000 Subject: [PATCH] Menu in JavaScript substituted to multi-area links. Cool. --- helm/graphs/tools/mk_html.pl | 101 ++++++++++++++++++++++++++++------- 1 file changed, 81 insertions(+), 20 deletions(-) diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index 1d558fa3c..e8c0aed17 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -6,7 +6,69 @@ print < Graph - + + + -EOT print < - document.write(''); - + EOT + print < - document.write(''); +HM_Array$count = [ +[,,, +,,,,,,,,,,,,,,,, +1,true], +["Objects this one depends on.",mkDepURL('$uri'),1,0,1], +["Render this object.",mkCICURL('$uri'),1,0,0], +["Objects depending on this one.",mkMetaURL('$uri'),1,0,1], +]; EOT } @@ -152,6 +210,9 @@ EOT print < + EOT -- 2.39.2