The branch, betterspacing, has been updated. - Log -----------------------------------------------------------------
commit 7b2977c0783f428eda6bc73812cbfcc6639f7191 Author: Jean-Marc Lasgouttes <[email protected]> Date: Mon Nov 14 17:51:40 2016 +0100 Fixup: remove extra spacing around delimiter inset This is done by the generic code now. diff --git a/src/mathed/InsetMathDelim.cpp b/src/mathed/InsetMathDelim.cpp index 68e4430..4ab179e 100644 --- a/src/mathed/InsetMathDelim.cpp +++ b/src/mathed/InsetMathDelim.cpp @@ -115,7 +115,7 @@ void InsetMathDelim::metrics(MetricsInfo & mi, Dimension & dim) const dw_ = 8; if (dw_ < 4) dw_ = 4; - dim.wid = dim0.width() + 2 * dw_ + 2 * mathed_thinmuskip(mi.base.font); + dim.wid = dim0.width() + 2 * dw_; dim.asc = max(a0, d0) + h0; dim.des = max(a0, d0) - h0; } @@ -125,10 +125,9 @@ void InsetMathDelim::draw(PainterInfo & pi, int x, int y) const { Dimension const dim = dimension(*pi.base.bv); int const b = y - dim.asc; - int const skip = mathed_thinmuskip(pi.base.font); - cell(0).draw(pi, x + dw_ + skip, y); - mathed_draw_deco(pi, x + skip, b, dw_, dim.height(), left_); - mathed_draw_deco(pi, x + dim.width() - dw_ - skip, + 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_, b, dw_, dim.height(), right_); setPosCache(pi, x, y); } ----------------------------------------------------------------------- Summary of changes: src/mathed/InsetMathDelim.cpp | 9 ++++----- 1 files changed, 4 insertions(+), 5 deletions(-) hooks/post-receive -- Repository for new features
