Using the maximize button to restore a semi-maximized window is our preferred option right now, unless someone adds a separate "restore" button.
The alternative solution would be to make the maximize button cycle through:
Semi -> Maximized -> Restored -> Maximized
instead of the current:
Semi -> Restored -> Maximized -> Restored
Which is better is a matter of opinion so I'll ask design.
Workaround: Drag the window titlebar to the top of the screen and it will always be maximized. This already works for semi-maximized windows.
Using the maximize button to restore a semi-maximized window is our preferred option right now, unless someone adds a separate "restore" button.
The alternative solution would be to make the maximize button cycle through:
Semi -> Maximized -> Restored -> Maximized
instead of the current:
Semi -> Restored -> Maximized -> Restored
Which is better is a matter of opinion so I'll ask design.
Workaround: Drag the window titlebar to the top of the screen and it will always be maximized. This already works for semi-maximized windows.