Only closing via the menu did it properly. Closing a window via the window manager didn't shut the window down at all, because the code wasn't in the closeEvent handler.
Only closing via the menu did it properly. Closing a window via the window manager didn't shut the window down at all, because the code wasn't in the closeEvent handler.