commit 92f320ff4a33053e369ed023b8c559d5d9ed35e7
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Wed Dec 20 11:22:21 2017 +0100
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 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/mathed/InsetMathDelim.cpp b/src/mathed/InsetMathDelim.cpp
index d664959..809e8a0 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_);
}
