From 22cf3e127ec7277fd88dbd391876b833c4081c8b Mon Sep 17 00:00:00 2001 From: Simon Christ Date: Wed, 1 Jul 2020 10:22:52 +0200 Subject: [PATCH] keep size when plotting in juno (#2826) --- src/output.jl | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/output.jl b/src/output.jl index 1501c214..e448d3ac 100644 --- a/src/output.jl +++ b/src/output.jl @@ -249,25 +249,17 @@ closeall() = closeall(backend()) # Atom PlotPane # --------------------------------------------------------- function showjuno(io::IO, m, plt) - sz = collect(plt[:size]) dpi = plt[:dpi] - thickness_scaling = plt[:thickness_scaling] - jsize = get(io, :juno_plotsize, [400, 500]) 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] = jratio * Plots.DPI - plt[:thickness_scaling] *= scale prepare_output(plt) try _showjuno(io, m, plt) finally - plt[:size] = sz plt[:dpi] = dpi - plt[:thickness_scaling] = thickness_scaling end end