better arrow scaling with penwidth - upto about 10

diff --git a/lib/common/emit.c b/lib/common/emit.c
index 8c9b1ae4dc129517cf74d74f57731d4270b4ffd8..47bef19be0ca742bff6172ff31a66e8e5b8d02dc 100644 (file)
--- a/lib/common/emit.c
+++ b/lib/common/emit.c
@@ -1274,7 +1274,8 @@ static void emit_edge_graphics(GVJ_t * job, edge_t * e, char** styles)
        scale = late_double(e, E_arrowsz, 1.0, 0.0);
        color = late_string(e, E_color, "");
 
-       scale *= job->obj->penwidth / PENWIDTH_NORMAL;
+       if (job->obj->penwidth > 4)
+           scale *= job->obj->penwidth / 4;
 
        /* need to know how many colors separated by ':' */
        for (p = color; *p; p++)