fix gr
This commit is contained in:
parent
5ebcb77d0d
commit
76f2860c74
@ -544,7 +544,7 @@ function gr_display(plt::Plot, fmt="")
|
|||||||
GR.clearws()
|
GR.clearws()
|
||||||
|
|
||||||
_gr_thickness_scaling[1] = plt[:thickness_scaling]
|
_gr_thickness_scaling[1] = plt[:thickness_scaling]
|
||||||
dpi_factor = plt[:dpi] ./ Plots.DPI
|
dpi_factor = plt[:dpi] / Plots.DPI
|
||||||
|
|
||||||
# collect some monitor/display sizes in meters and pixels
|
# collect some monitor/display sizes in meters and pixels
|
||||||
display_width_meters, display_height_meters, display_width_px, display_height_px = GR.inqdspsize()
|
display_width_meters, display_height_meters, display_width_px, display_height_px = GR.inqdspsize()
|
||||||
|
|||||||
@ -332,7 +332,7 @@ end
|
|||||||
|
|
||||||
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)
|
||||||
plt[:dpi] = 100
|
plt[:dpi] = Plots.DPI
|
||||||
plt[:thickness_scaling] *= scale
|
plt[:thickness_scaling] *= scale
|
||||||
Juno.render(pane, HTML(stringmime(MIME("text/html"), plt)))
|
Juno.render(pane, HTML(stringmime(MIME("text/html"), plt)))
|
||||||
plt[:size] = sz
|
plt[:size] = sz
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user