Andreas, please file the window closing behavior as a separate bug (in GNOME bugzilla, please). That is a good catch and I don't want it forgotten.
Andreas, please file the window closing behavior as a separate bug (in GNOME bugzilla, please). That is a good catch and I don't want it forgotten.