scale arrow by penwidth

diff --git a/lib/common/emit.c b/lib/common/emit.c
index 94cf8c29245c85eaa3ba550406c4042d261e6ec2..8c9b1ae4dc129517cf74d74f57731d4270b4ffd8 100644 (file)
--- a/lib/common/emit.c
+++ b/lib/common/emit.c
@@ -1274,6 +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;
+
        /* need to know how many colors separated by ':' */
        for (p = color; *p; p++)
            if (*p == ':')