From 5d5c4d76b91a0b33614715f96f86eca8c22e6c94 Mon Sep 17 00:00:00 2001
From: Sebastian Pfitzner <pfitzseb@physik.hu-berlin.de>
Date: Mon, 16 Sep 2019 13:46:02 +0200
Subject: [PATCH] make Juno plots devicePixelRatio aware

---
 src/output.jl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/output.jl b/src/output.jl
index bbc7b80e..95a1699e 100644
--- a/src/output.jl
+++ b/src/output.jl
@@ -234,10 +234,11 @@ function showjuno(io::IO, m, plt)
     thickness_scaling = plt[:thickness_scaling]
 
     jsize = get(io, :juno_plotsize, [400, 500])
+    jdpi = get(io, :juno_dpi_ratio, 1)*Plots.DPI
 
     scale = minimum(jsize[i] / sz[i] for i in 1:2)
     plt[:size] = (s * scale for s in sz)
-    plt[:dpi] = Plots.DPI
+    plt[:dpi] = jdpi
     plt[:thickness_scaling] *= scale
 
     prepare_output(plt)