On Aug 9, 2022, at 13:43, René J.V. Bertin wrote: > At some point I noticed that the fullscreen widget was missing from the right corner of the window title bars, and that the "maximise" button apparently toggles fullscreen mode. This change happened in OS X Yosemite v10.10.