layout/redactgraph: summary has edge parameter len=2 to make it less crowded

diff --git a/layout/redactgraph.c b/layout/redactgraph.c
index cdcff086f8073157f02442c88d492f9a08e93e0f..722a1035cf143336dfca047c786e64be79043513 100644 (file)
--- a/layout/redactgraph.c
+++ b/layout/redactgraph.c
@@ -718,7 +718,7 @@ static void printforneatosumm(void) {
             edge->ends[0].node->node->pname,
             edge->ends[1].node->node->pname);
       printforneato_edgelabel(edge, 0, "\\n");
-      output(", color=\"#999999\","
+      output(", len=2, color=\"#999999\","
             " labeldistance=0, port_label_distance=0];\n");
     }
   }