Fix repaint of unselected paragraph label

This works around a TextMetrics issue where Row::beg/end_margin_sel
are sometimes not reset correctly when there is no selection on the
row.

In master a fix for this problem has been done at 654cded1. Here we
prefer a much simpler work around that fixes the symptom.

Fixes bug #10972.

(cherry picked from commit 9bec4b8a0ababb6b18c41df946fcf7e893100d94)

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index fd014a7659dcce123976679ba22fb5bdbb8f8e86..ca2fea790c99ee60ff604a71b52938320237f2ae 100644 (file)
--- a/src/RowPainter.cpp
+++ b/src/RowPainter.cpp
@@ -93,7 +93,7 @@ FontInfo RowPainter::labelFont() const
 {
        FontInfo f = text_.labelFont(par_);
        // selected text?
-       if (row_.begin_margin_sel || pi_.selected)
+       if ((row_.selection() && row_.begin_margin_sel) || pi_.selected)
                f.setPaintColor(Color_selectiontext);
        return f;
 }

diff --git a/status.22x b/status.22x
index 7fc5405ad80d9eefff4b5231b73010f17a26bbf8..d641a7a1c3df638fdef47a97a93725e6e67a589d 100644 (file)
--- a/status.22x
+++ b/status.22x
@@ -127,6 +127,8 @@ What's new
 
 - Fix bad justification before a displayed inset (bug 10699).
 
+- Fix selection display glitch with paragraph label (bug 10972).
+
 - Fix cursor state after double/triple click in mathed (bug #10686).
 
 - Avoid a case of stuck cursor after entering an inset (bug 10630).