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

actually fix dpi issues in Juno?

Browse Source
This commit is contained in:
Sebastian Pfitzner 2019-09-19 11:37:38 +02:00
parent 2c3bffaf76
commit f6d37afba0
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]
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)