From 6b22f45dd5b98668f768f636b8f95a420444a827 Mon Sep 17 00:00:00 2001 From: Daniel Schwabeneder Date: Fri, 16 Jul 2021 10:30:41 +0200 Subject: [PATCH] fix dpi for GR (#3646) --- 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 50d63ba3..6421074c 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()