Fix bold-like characters when selecting bidi text

In painter, restrting paining regions does not really work when region is empty.

Fixes bug #11198.
This commit is contained in:
Jean-Marc Lasgouttes 2019-04-09 11:29:20 +02:00
parent f9486e8cf3
commit f9da28428a

View File

@ -362,7 +362,11 @@ void GuiPainter::text(int x, int y, docstring const & str, Font const & f,
int const height = fm.maxAscent() + fm.maxDescent();
int xmin = fm.pos2x(str, from, dir == RtL, wordspacing);
int xmax = fm.pos2x(str, to, dir == RtL, wordspacing);
if (xmin > xmax)
// Avoid this case, since it would make the `other' text spill in some cases
if (xmin == xmax) {
text(x, y, str, fi, dir, wordspacing, tw);
return;
} else if (xmin > xmax)
swap(xmin, xmax);
// First the part in other color