Give a 2 pixels space for markers around math objects

This commit is contained in:
Jean-Marc Lasgouttes 2017-06-08 15:22:03 +02:00
parent 7ca7873112
commit 5a3962958f

View File

@ -49,8 +49,16 @@ namespace {
int markerMargin(MathRow::Element const & e)
{
return e.marker == InsetMath::MARKER
|| e.marker == InsetMath::MARKER2;
switch(e.marker) {
case InsetMath::MARKER:
case InsetMath::MARKER2:
case InsetMath::BOX_MARKER:
return 2;
case InsetMath::NO_MARKER:
return 0;
}
// should not happen
return 0;
}
@ -92,7 +100,7 @@ void drawMarkers(PainterInfo const & pi, MathRow::Element const & e,
Dimension const dim = coords.getInsets().dim(e.inset);
// the marker is before/after the inset. Necessary space has been reserved already.
int const l = x + e.before - markerMargin(e);
int const l = x + e.before - (markerMargin(e) > 0 ? 1 : 0);
int const r = x + dim.width() - e.after;
if (e.marker == InsetMath::BOX_MARKER) {