David Kiss

I think an `application.protocol('WM_DELETE_WINDOW', application.close_window)` somewhere should do the trick, as currently, closing the main application window does not stop the application (I don't know if that's intentional).