Fix point shape to use penwidth attribute

diff --git a/lib/common/shapes.c b/lib/common/shapes.c
index 959110c3747d30ee193d78acc231b8edfd48306c..3cb2cfb545e17f3107317bec2f748ce36e415d28 100644 (file)
--- a/lib/common/shapes.c
+++ b/lib/common/shapes.c
@@ -3074,6 +3074,8 @@ static void point_gencode(GVJ_t * job, node_t * n)
        gvrender_set_style(job, point_style);
     else
        gvrender_set_style(job, &point_style[1]);
+    if (N_penwidth)
+       gvrender_set_penwidth(job, late_double(n, N_penwidth, 1.0, 0.0));
 
     if (ND_gui_state(n) & GUI_STATE_ACTIVE) {
        color = late_nnstring(n, N_activepencolor, DEFAULT_ACTIVEPENCOLOR);