fix #132 -- No prompt to save work when closing from window manager