diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 0e021012..9eb16134 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -335,9 +335,10 @@ end # --------------------------------------------------------- -function gr_set_line(w, style, c) #, a) +function gr_set_line(lw, style, c) #, a) GR.setlinetype(gr_linetype[style]) - GR.setlinewidth(w) + w, h = gr_plot_size + GR.setlinewidth(max(1, lw / ((w + h) * 0.001))) gr_set_linecolor(c) #, a) end