This also fixes a rendering issue on Wayland on Chrome OS: currently the window is not updated when increasing its size by dragging a corner (one has to Alt-Tab to another window and back to see the window resized).
This also fixes a rendering issue on Wayland on Chrome OS: currently the window is not updated when increasing its size by dragging a corner (one has to Alt-Tab to another window and back to see the window resized).