dump-asy: start gv without widgets and fit the drawing to window

diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl
index 5af9bb42203c7ff0b4fe98943254553586c8b112..3b989bd79946964641a23c8eece73c3168f579ad 100755 (executable)
--- a/contrib/dump-asy.pl
+++ b/contrib/dump-asy.pl
@@ -42,4 +42,4 @@ say $tmp "draw(n" . $tree->{id} . ", (0, 0));";
 close($tmp);
 my $rep = "$tmp";
 $rep =~ s/asy$/eps/;
-system("cd /tmp && asy $tmp && gv $rep && rm $rep");
+system("cd /tmp && asy $tmp && gv --scale=-1000 --noresize --widgetless $rep && rm $rep");