From 4ca0be7faa87261bcfdff305f165d8ff3e631246 Mon Sep 17 00:00:00 2001 From: Simon Christ Date: Tue, 30 Jun 2020 12:41:20 +0200 Subject: [PATCH] keep size when plotting in juno --- 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