From: Orestis Floros <orestisf1993@gmail.com>
Date: Wed, 14 Mar 2018 12:59:26 +0000 (+0200)
Subject: dump-asy.pl: Add marks
X-Git-Tag: 4.16~132^2
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=refs%2Fpull%2F3176%2Fhead;p=i3%2Fi3

dump-asy.pl: Add marks
---

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(";