From 9aa201dcb31c443c271ea1a2b5bde1c472db2f49 Mon Sep 17 00:00:00 2001 From: Josef Heinen Date: Thu, 6 Sep 2018 21:37:18 +0200 Subject: [PATCH] gr: use new DPI setting for SVG output --- src/backends/gr.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 2534e5f2..197309e3 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -544,6 +544,9 @@ function gr_display(plt::Plot, fmt="") _gr_thickness_scaling[1] = plt[:thickness_scaling] dpi_factor = plt[:dpi] / Plots.DPI + if fmt == "svg" then + dpi_factor *= 4 + end # collect some monitor/display sizes in meters and pixels display_width_meters, display_height_meters, display_width_px, display_height_px = GR.inqdspsize()