Merge pull request #2190 from pfitzseb/sp/junoplotdpi

make Juno plots devicePixelRatio aware
2019-09-18 10:45:20 +02:00 · 2019-09-18 10:45:20 +02:00 · 55e17a4a65
commit 55e17a4a65
parent 767b8b245a 5d5c4d76b9
1 changed files with 2 additions and 1 deletions
--- a/src/output.jl
+++ b/src/output.jl
@ -237,10 +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

    scale = minimum(jsize[i] / sz[i] for i in 1:2)
    plt[:size] = (s * scale for s in sz)
-    plt[:dpi] = Plots.DPI
+    plt[:dpi] = jdpi
    plt[:thickness_scaling] *= scale

    prepare_output(plt)