Choice of double-clicking the title-bar or using the maximise button in the window decoration?