dump-asy.pl: use layout instead of orientation for names (#3004)
This commit is contained in:
parent
ffa228e653
commit
464c158d9a
|
@ -39,7 +39,7 @@ sub dump_node {
|
|||
$na =~ s/~/\\textasciitilde{}/g;
|
||||
my $type = 'leaf';
|
||||
if (!defined($n->{window})) {
|
||||
$type = $n->{orientation} . '-split';
|
||||
$type = $n->{layout};
|
||||
}
|
||||
my $name = qq|``$na'' ($type)|;
|
||||
|
||||
|
|
Loading…
Reference in New Issue