commit 5aa3164d21b4097b8bf104387deab7d7ca7ab9ac
Author: Guillaume Munch <[email protected]>
Date: Thu Oct 6 01:32:21 2016 +0200
Make the border of hullRegexp pixel perfect
---
src/mathed/InsetMathHull.cpp | 7 +++----
1 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/mathed/InsetMathHull.cpp b/src/mathed/InsetMathHull.cpp
index c4f1207..89fe4bb 100644
--- a/src/mathed/InsetMathHull.cpp
+++ b/src/mathed/InsetMathHull.cpp
@@ -563,10 +563,9 @@ void InsetMathHull::draw(PainterInfo & pi, int x, int y)
const
BufferView const * const bv = pi.base.bv;
Dimension const dim = dimension(*bv);
- if (type_ == hullRegexp) {
- pi.pain.rectangle(x + 1, y - dim.ascent() + 1,
- dim.width() - 2, dim.height() - 2, Color_regexpframe);
- }
+ if (type_ == hullRegexp)
+ pi.pain.rectangle(x + 2, y - dim.ascent() + 1,
+ dim.width() - 3, dim.height() - 2,
Color_regexpframe);
if (previewState(bv)) {
// Do not draw change tracking cue if taken care of by
RowPainter