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

index 6ca6d0be828dc99bd9a0ad9c44d049998fd6fbab..04c5123971462d8ac2c5a9fbfad9c76604b73628 100755 (executable)
@@ -281,11 +281,11 @@ END
       #  $r1n = "_$r1 $r0";
       #  next;
       #}
-      next if $ei->{Spec};
+      #next if $ei->{Spec};
       o "\"$via\" -- \"$vib\" [";
-      o "fontsize=8; label=\"".
-         $ei->{EdgeId}."\";";
-      o " weight=0;w=0;len=3;" if $ei->{Spec};
+      o " weight=0.00001, w=0.00001, len=5," if $ei->{Spec};
+      o "fontsize=8, label=\"".
+         $ei->{EdgeId}."\",";
       o "];\n";
     }
   }