From ccb9df2a0870b9ff6307b6157f92114ac73917f6 Mon Sep 17 00:00:00 2001 From: Josef Heinen Date: Mon, 10 Apr 2017 14:56:38 +0200 Subject: [PATCH] gr: use correct line width --- src/backends/gr.jl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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