From 4cb5cc0c7de7cb5dbaaf14328e5a82e1cfe5a6ca 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 btween 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. --- 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