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()