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.

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index 2df9342c5a5823d0917c6d06c3a071f7ca2f675d..c190a48d59646451a8b1dd98df65b5c6174171ff 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1271,6 +1271,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->accept();
                return;
        }