From 0560fc7964a1d0864b0371b5874ea0ad44564275 Mon Sep 17 00:00:00 2001 From: Michael Stapelberg Date: Fri, 23 Nov 2012 20:29:08 +0100 Subject: [PATCH] dump-asy: start gv without widgets and fit the drawing to window --- contrib/dump-asy.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl index 5af9bb42..3b989bd7 100755 --- 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"); -- 2.39.5