When a window is maximised, dragging downwards from the menu bar or double clicking on the menu bar should un-maximise the window.
When a window is maximised, dragging downwards from the menu bar or double clicking on the menu bar should un-maximise the window.