The window correctly restores its size before the semi-maximized user action started but it doesn't restore its position.
If the user action is the drag of the window on the side, the state restored should be the one before the dragging gesture started, not when the window touched the edge.
The window correctly restores its size before the semi-maximized user action started but it doesn't restore its position.
If the user action is the drag of the window on the side, the state restored should be the one before the dragging gesture started, not when the window touched the edge.