From 92f320ff4a33053e369ed023b8c559d5d9ed35e7 Mon Sep 17 00:00:00 2001 From: Jean-Marc Lasgouttes Date: Wed, 20 Dec 2017 11:22:21 +0100 Subject: [PATCH] Reintroduce the spacing around delimiters This spacing was wrongly removed at 361bd53b as part of the introduction of proper spacing between elements, but it only introduces some breathing space around the delimiters. This will not be necessary anymore when/if we use proper delimiters from the cmex10 font. (cherry picked from commit 4cb5cc0c7de7cb5dbaaf14328e5a82e1cfe5a6ca) --- src/mathed/InsetMathDelim.cpp | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/mathed/InsetMathDelim.cpp b/src/mathed/InsetMathDelim.cpp index d66495933d..809e8a0c13 100644 --- a/src/mathed/InsetMathDelim.cpp +++ b/src/mathed/InsetMathDelim.cpp @@ -103,7 +103,7 @@ void InsetMathDelim::metrics(MetricsInfo & mi, Dimension & dim) const dw_ = 8; if (dw_ < 4) dw_ = 4; - dim.wid = dim0.width() + 2 * dw_; + dim.wid = dim0.width() + 2 * dw_ + 2 * mathed_thinmuskip(mi.base.font); dim.asc = max(a0, d0) + h0; dim.des = max(a0, d0) - h0; } @@ -114,9 +114,10 @@ void InsetMathDelim::draw(PainterInfo & pi, int x, int y) const Changer dummy = pi.base.changeEnsureMath(); Dimension const dim = dimension(*pi.base.bv); int const b = y - dim.asc; - cell(0).draw(pi, x + dw_, y); - mathed_draw_deco(pi, x, b, dw_, dim.height(), left_); - mathed_draw_deco(pi, x + dim.width() - dw_, + int const skip = mathed_thinmuskip(pi.base.font); + cell(0).draw(pi, x + dw_ + skip, y); + mathed_draw_deco(pi, x + skip / 2, b, dw_, dim.height(), left_); + mathed_draw_deco(pi, x + dim.width() - dw_ - skip / 2, b, dw_, dim.height(), right_); } -- 2.39.5