When using Window.setWidth() or Window.setHeight() the window's size might not change because the platform enforced the min and max sizes. In that case the Window's width and height properties will get out of sync with the window's actual width or height. The properties will reflect the requested dimensions instead of the constrained ones.

This bug is happening on all platforms. Unfortunately with the current bookkeeping it's not easy to fix this in the platform-independent code.

To reproduce, run the attached test case.
Press the "Smaller than Minimum" button twice.
On the second press the window's size doesn't change. The window's width and height properties are incorrect and less than the minimums.
Press the "Larger than Maximum" button twice.
On the second press the window's size doesn't change. The window's width and height properties are incorrect and more than the maximums.