make Juno plots devicePixelRatio aware

2019-09-16 13:46:02 +02:00 · 2019-09-16 13:46:02 +02:00 · 5d5c4d76b9
commit 5d5c4d76b9
parent 236aaed2a3
1 changed files with 2 additions and 1 deletions
--- a/src/output.jl
+++ b/src/output.jl
@ -234,10 +234,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)