On 05/14/2018 03:50 AM, Jean-Marc Lasgouttes wrote:
> diff --git a/src/frontends/qt4/GuiWorkArea.cpp
> b/src/frontends/qt4/GuiWorkArea.cpp
> index 7c80fcc..8dc0739 100644
> --- a/src/frontends/qt4/GuiWorkArea.cpp
> +++ b/src/frontends/qt4/GuiWorkArea.cpp
> @@ -1247,9 +1247,14 @@ void GuiWorkArea::Private::paintPreeditText(GuiPainter
> & pain)
>
> void GuiWorkArea::paintEvent(QPaintEvent * ev)
> {
> - // Hopefully fixes bug #10989.
> - if (view().busy())
> + // Do not trigger the painting machinery if we are not ready (see
> + // bug #10989). However, since macOS has turned the screen back at
"black", I take it.
Riki
