From f9d9cba5aeb1ff13787bc84df97eb4e464f38f03 Mon Sep 17 00:00:00 2001 From: Nicholas Bauer Date: Tue, 16 Nov 2021 13:19:34 -0500 Subject: [PATCH] user margin should override --- src/backends/gr.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/backends/gr.jl b/src/backends/gr.jl index be46ff29..5943f0df 100644 --- a/src/backends/gr.jl +++ b/src/backends/gr.jl @@ -780,10 +780,10 @@ function _update_min_padding!(sp::Subplot{GRBackend}) end end # Add margin given by the user - leftpad = 2mm + sp[:left_margin] - toppad = 2mm + sp[:top_margin] - rightpad = 2mm + sp[:right_margin] - bottompad = 2mm + sp[:bottom_margin] + leftpad = sp[:left_margin] == :match ? 2mm : sp[:left_margin] + toppad = sp[:top_margin] == :match ? 2mm : sp[:top_margin] + rightpad = sp[:right_margin] == :match ? 2mm : sp[:right_margin] + bottompad = sp[:bottom_margin] == :match ? 2mm : sp[:bottom_margin] # Add margin for title if sp[:title] != "" gr_set_font(titlefont(sp), sp)