commit ba3ff646db52efc8faaa735107c5580eae82b29d
Author: Jean-Marc Lasgouttes <lasgout...@lyx.org>
Date: Wed Oct 3 15:57:11 2018 +0200
When ignoring an update, request one for later
If we were not ready to paint the screen, this does not mean that we
should give up on repainting, just potpone it.
I thought that it was bad to call update() in the paint event, but I
cannot find reference to this anymore and everything seems to work as
intended.
Fixes part of bug #11323.
(cherry picked from commit 38f09c177b7da08f852e13c9a50fd2e8098b7491)
(cherry picked from commit 2617a4dd501c64048573e2d9c4e6fb9f423a1067)
---
src/frontends/qt4/GuiWorkArea.cpp | 2 ++
status.23x | 2 ++
2 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/frontends/qt4/GuiWorkArea.cpp
b/src/frontends/qt4/GuiWorkArea.cpp
index f20ffe2..1296564 100644
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1268,6 +1268,8 @@ void GuiWorkArea::paintEvent(QPaintEvent * ev)
// backing store has to be copied to screen (this is a no-op
// except on macOS).
d->updateScreen(ev->rect());
+ // Ignore this paint event, but request a new one for later.
+ viewport()->update(ev->rect());
ev->accept();
return;
}
diff --git a/status.23x b/status.23x
index d0cf002..d0f6835 100644
--- a/status.23x
+++ b/status.23x
@@ -155,6 +155,8 @@ What's new
- Fix display of raster graphics with viewports (bug 11180).
+- Fix some missing screen updates (bug 11323, regression in 2.3.1).
+
* INTERNALS
