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

Reply via email to