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

Merge pull request #1729 from jheinen/master

Browse Source 
gr: use new DPI setting for SVG output
This commit is contained in:
Josef Heinen 2018-09-07 09:58:52 +02:00 committed by GitHub
commit 7cd1c9e8c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/backends/gr.jl
View File

@ -544,6 +544,9 @@ function gr_display(plt::Plot, fmt="")
_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
if fmt == "svg" then
dpi_factor *= 4
end
# 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()