Kovid Goyal 89875af5e6 Fix jerky behavior when live resizing an OS window on platforms that report live resize being and end events ...

Also disable live resize begin/end events on Wayland since they are not
reliable.

On platforms that support live resize begin/end use a separately
configurable pause time before the screen is redrawn.

Fixes #6341

2023-06-07 14:31:39 +05:30

82 KiB

Vendored

Raw Blame History

View Raw