From 3559b539e3cefd0e0a685128e45c8bde9bbf0a2c Mon Sep 17 00:00:00 2001 From: Josef Heinen Date: Tue, 31 Jul 2018 16:06:37 +0200 Subject: [PATCH 1/2] gr: use correct text bounding box for mathtex --- src/backends/gr.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index bb962e19..099378d7 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -195,7 +195,7 @@ gr_inqtext(x, y, s::Symbol) = gr_inqtext(x, y, string(s)) function gr_inqtext(x, y, s) if length(s) >= 2 && s[1] == '$' && s[end] == '$' - GR.inqtextext(x, y, s[2:end-1]) + GR.inqmathtex(x, y, s[2:end-1]) elseif findfirst(isequal('\\'), s) != nothing || occursin("10^{", s) GR.inqtextext(x, y, s) else From 9aa201dcb31c443c271ea1a2b5bde1c472db2f49 Mon Sep 17 00:00:00 2001 From: Josef Heinen Date: Thu, 6 Sep 2018 21:37:18 +0200 Subject: [PATCH 2/2] gr: use new DPI setting for SVG output --- src/backends/gr.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index 2534e5f2..197309e3 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -544,6 +544,9 @@ function gr_display(plt::Plot, fmt="") _gr_thickness_scaling[1] = plt[:thickness_scaling] dpi_factor = plt[:dpi] / Plots.DPI + if fmt == "svg" then + dpi_factor *= 4 + end # collect some monitor/display sizes in meters and pixels display_width_meters, display_height_meters, display_width_px, display_height_px = GR.inqdspsize()