gr: use new DPI setting for SVG output

2018-09-06 21:37:18 +02:00 · 2018-09-06 21:37:18 +02:00 · 9aa201dcb3
commit 9aa201dcb3
parent 25b09a7962
1 changed files with 3 additions and 0 deletions
--- 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()