From f6d37afba0a04cfda84136d6b98b369e1810b8dd Mon Sep 17 00:00:00 2001 From: Sebastian Pfitzner Date: Thu, 19 Sep 2019 11:37:38 +0200 Subject: [PATCH] actually fix dpi issues in Juno? --- src/output.jl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/output.jl b/src/output.jl index 4fa7df25..accb7142 100644 --- a/src/output.jl +++ b/src/output.jl @@ -237,11 +237,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 + jratio = get(io, :juno_dpi_ratio, 1) scale = minimum(jsize[i] / sz[i] for i in 1:2) - plt[:size] = (s * scale for s in sz) - plt[:dpi] = jdpi + plt[:size] = [s * scale for s in sz]./jratio + plt[:dpi] = jratio*Plots.DPI plt[:thickness_scaling] *= scale prepare_output(plt)