commit f9da28428a75f3e60920ec983ff52bbbf2e6d683
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Tue Apr 9 11:29:20 2019 +0200
Fix bold-like characters when selecting bidi text
In painter, restrting paining regions does not really work when region is
empty.
Fixes bug #11198.
---
src/frontends/qt4/GuiPainter.cpp | 6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/src/frontends/qt4/GuiPainter.cpp b/src/frontends/qt4/GuiPainter.cpp
index e0b2177..c1f3677 100644
--- a/src/frontends/qt4/GuiPainter.cpp
+++ b/src/frontends/qt4/GuiPainter.cpp
@@ -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
