nixo
/
gri3-wm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #3176 from orestisf1993/dump-asy-marks 

dump-asy.pl: Add marks
This commit is contained in:
Ingo Bürk 2018-03-14 14:24:00 +01:00 committed by GitHub
parent 6cc3a2bfe8 774a61b47e
commit c1e622be27
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
contrib/dump-asy.pl
View File

@ -56,7 +56,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(";