Merge pull request #2199 from milesfrain/pltdpisize

maintain original plot size
This commit is contained in:
Daniel Schwabeneder 2019-09-20 14:08:31 +02:00 committed by GitHub
commit 07ffa8c117
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -240,7 +240,7 @@ function showjuno(io::IO, m, plt)
jratio = get(io, :juno_dpi_ratio, 1) jratio = get(io, :juno_dpi_ratio, 1)
scale = minimum(jsize[i] / sz[i] for i in 1:2) scale = minimum(jsize[i] / sz[i] for i in 1:2)
plt[:size] = [s * scale for s in sz]./jratio plt[:size] = [s * scale for s in sz]
plt[:dpi] = jratio*Plots.DPI plt[:dpi] = jratio*Plots.DPI
plt[:thickness_scaling] *= scale plt[:thickness_scaling] *= scale