-
Philipp Brüschweiler authored
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=53560
5418a904