Code refactoring around saving and restoring window geometry
Depends on !42 (merged).
(The following few lines were my first idea, but the MR has evolved: see comments below.)
I see no good reason to save the window geometry at each change: it is only restored once at startup, and saving it doesn't update any action state or so, like for some other settings.
So I think we could just save the window geometry when closing, symmetrically to its restoration when opening.
Edited by Gaël Bonithon