Fixup ad954a32: make space insets easier to see.

The previous code left one extra pixel on each side of the visible space, and
spaces became too small to be readable.
This commit is contained in:
Jean-Marc Lasgouttes 2020-09-09 11:07:48 +02:00
parent eda3219662
commit bf25e8568d

View File

@ -390,18 +390,18 @@ void InsetSpace::draw(PainterInfo & pi, int x, int y) const
int const h = theFontMetrics(pi.base.font).xHeight();
int xp[4], yp[4];
xp[0] = x + 1;
xp[0] = x;
yp[0] = y - max(h / 4, 1);
if (params_.kind == InsetSpaceParams::NORMAL ||
params_.kind == InsetSpaceParams::PROTECTED ||
params_.kind == InsetSpaceParams::VISIBLE) {
xp[1] = x + 1; yp[1] = y;
xp[2] = x + w - 2; yp[2] = y;
xp[1] = x; yp[1] = y;
xp[2] = x + w - 1; yp[2] = y;
} else {
xp[1] = x + 1; yp[1] = y + max(h / 4, 1);
xp[2] = x + w - 2; yp[2] = y + max(h / 4, 1);
xp[1] = x; yp[1] = y + max(h / 4, 1);
xp[2] = x + w - 1; yp[2] = y + max(h / 4, 1);
}
xp[3] = x + w - 2;
xp[3] = x + w - 1;
yp[3] = y - max(h / 4, 1);
Color col = Color_special;