diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl index 9bb2db3a..636b20ce 100755 --- a/contrib/dump-asy.pl +++ b/contrib/dump-asy.pl @@ -47,7 +47,8 @@ sub dump_node { if (!defined($n->{window})) { $type = $n->{layout}; } - my $name = qq|``$na'' ($type)|; + my $marks = $n->{marks} ? ' [' . join('][', @{$n->{marks}}) . ']' : ''; + my $name = qq|``$na'' ($type)$marks|; print $tmp "TreeNode n" . $n->{id} . " = makeNode(";