Avoid blinking change tracking cur for math inset.

Since there is a margin above and below the inset, there is no problem
for putting it higher.

Fixes bug #11684.

diff --git a/src/mathed/InsetMathHull.cpp b/src/mathed/InsetMathHull.cpp
index 9d4c0e556e31e7e8523333fbbbed4f4d818ad2fc..75e0a41f9ce83490856787b9d4dccb867f782819 100644 (file)
--- a/src/mathed/InsetMathHull.cpp
+++ b/src/mathed/InsetMathHull.cpp
@@ -697,9 +697,12 @@ void InsetMathHull::draw(PainterInfo & pi, int x, int y) const
        drawMarkers(pi, x, y);
 
        // drawing change line
-       if (canPaintChange(*bv))
-               pi.change_.paintCue(pi, x + 1, y + 1 - dim.asc,
-                                   x + dim.wid, y + dim.des);
+       if (canPaintChange(*bv)) {
+               // like in metrics()
+               int const display_margin = display() ? pi.base.inPixels(Length(12, Length::PT)) : 0;
+               pi.change_.paintCue(pi, x + 1, y + 1 - dim.asc + display_margin,
+                                   x + dim.wid, y + dim.des - display_margin);
+       }
 }