chiark / gitweb /
wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 14 Jan 2019 02:22:58 +0000 (02:22 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 14 Jan 2019 02:22:58 +0000 (02:22 +0000)
parse-input-graph

index d281e8916c758e01beeca309eefc78a9f3f17701..5221c17e2670984ed5369b4e2836f6ba557a33a7 100755 (executable)
@@ -137,9 +137,10 @@ sub o { print @_ or die $!; }
 sub output_dot () {
   o <<END;
 strict graph "map" {
-  node [ 
+  layout="sfdp";
+  node [
     shape=circle;
-    fontsize=3;
+    fixedsize=true;
   ];
 END
   foreach my $r0 (sort keys %edges) {