From 30474aab8dd99dede8aebec8f26479acd3ba0dfb Mon Sep 17 00:00:00 2001 From: Paul Franklin Date: Wed, 24 Jul 2013 16:26:44 +0000 Subject: [PATCH] 6872: wrong size of svg image in Family Lines Graph svn: r22731 --- src/gen/plug/docgen/graphdoc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gen/plug/docgen/graphdoc.py b/src/gen/plug/docgen/graphdoc.py index da9c463dd..32d23e787 100644 --- a/src/gen/plug/docgen/graphdoc.py +++ b/src/gen/plug/docgen/graphdoc.py @@ -699,7 +699,7 @@ class GVSvgDoc(GVDocBase): fname = self._filename.encode(sys.getfilesystemencoding()) # Generate the SVG file. - os.system( 'dot -Tsvg -o"%s" "%s"' % (fname, tmp_dot) ) + os.system( 'dot -Tsvg:cairo -o"%s" "%s"' % (fname, tmp_dot) ) # Delete the temporary dot file os.remove(tmp_dot)