Add lower corners for BOX_MARKER too

Let's see whether this helps Guillaume.

Part of bug #8883.
This commit is contained in:
Jean-Marc Lasgouttes 2017-06-13 12:17:21 +02:00
parent 82fc30138c
commit cc7917c55c

View File

@ -122,15 +122,12 @@ void drawMarkers(PainterInfo const & pi, MathRow::Element const & e,
pi.pain.text(l, y + dim.des - namedim.des - 1, e.inset->name(), font); pi.pain.text(l, y + dim.des - namedim.des - 1, e.inset->name(), font);
} }
// Lower corners // Lower corners in all cases
if (e.marker == InsetMath::MARKER
|| e.marker == InsetMath::MARKER2) {
int const d = y + dim.descent(); int const d = y + dim.descent();
pi.pain.line(l, d - 3, l, d, pen_color); pi.pain.line(l, d - 3, l, d, pen_color);
pi.pain.line(r, d - 3, r, d, pen_color); pi.pain.line(r, d - 3, r, d, pen_color);
pi.pain.line(l, d, l + 3, d, pen_color); pi.pain.line(l, d, l + 3, d, pen_color);
pi.pain.line(r - 3, d, r, d, pen_color); pi.pain.line(r - 3, d, r, d, pen_color);
}
// Upper corners // Upper corners
if (e.marker == InsetMath::BOX_MARKER if (e.marker == InsetMath::BOX_MARKER