mantao/Plots.jl
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #2196 from pfitzseb/sp/actualdpifix

Browse Source 
actually fix dpi issues in Juno?
This commit is contained in:
Daniel Schwabeneder 2019-09-19 12:29:58 +02:00 committed by GitHub
commit 32b85d48c5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/output.jl
View File

@ -237,11 +237,11 @@ function showjuno(io::IO, m, plt)
thickness_scaling = plt[:thickness_scaling] thickness_scaling = plt[:thickness_scaling]
jsize = get(io, :juno_plotsize, [400, 500]) 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) scale = minimum(jsize[i] / sz[i] for i in 1:2)
plt[:size] = (s * scale for s in sz) plt[:size] = [s * scale for s in sz]./jratio
plt[:dpi] = jdpi plt[:dpi] = jratio*Plots.DPI
plt[:thickness_scaling] *= scale plt[:thickness_scaling] *= scale
prepare_output(plt) prepare_output(plt)