Fix bold-like characters when selecting bidi text

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

Fixes bug #11198.

(cherry picked from commit f9da28428a)
This commit is contained in:
Jean-Marc Lasgouttes 2019-04-09 11:29:20 +02:00
parent e8dc6fad05
commit 595c6d0a05
2 changed files with 7 additions and 1 deletions

View File

@ -489,7 +489,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

View File

@ -184,6 +184,8 @@ What's new
- Fix left/right border UI when toggling formal table style (bug 9835).
- Fix bold-like characters when selecting bidi text (bug 11198).
* INTERNALS