I've reviewed the changes and tried them in my image and seem to work fine. It fixes the glitch when switching windows on Linux and Pharo is not redrawn.

On Mon, May 30, 2022 at 7:56 AM Marcus Denker <marcus.denker@inria.fr> wrote:

This PR needs a review:

Redraw world on SDL_WINDOWEVENT_EXPOSED #11240
�� https://github.com/pharo-project/pharo/pull/11240