I fixed part of the bug. "When a window is maximised, double clicking on the menu bar should un-maximise the window"
I fixed part of the bug.
"When a window is maximised, double clicking on the menu bar should un-maximise the window"