From a7005701d07e75ce55e7ccd37683f4e59befecbb Mon Sep 17 00:00:00 2001 From: Daniel Schwabeneder Date: Sat, 10 Jul 2021 09:58:21 +0200 Subject: [PATCH] fix dpi for GR --- src/backends/gr.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 52637738..fd0cf636 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -612,7 +612,7 @@ end function gr_display(plt::Plot, fmt="") GR.clearws() - dpi_factor = plt[:dpi] / Plots.DPI + dpi_factor = fmt == "png" ? plt[:dpi] / Plots.DPI : 1 # collect some monitor/display sizes in meters and pixels display_width_meters, display_height_meters, display_width_px, display_height_px = GR.inqdspsize()