E.g. this can happen when you grab the lower right corner of a window and move over the top of the window when resizing. In this case, the changed width is still important and should be acted upon. https://bugs.freedesktop.org/show_bug.cgi?id=53560dev
parent
4f5217313e
commit
5418a904ca
Loading…
Reference in new issue