diff --git a/unix/gtkwin.c b/unix/gtkwin.c index a427b20a..2ed7fffe 100644 --- a/unix/gtkwin.c +++ b/unix/gtkwin.c @@ -2085,7 +2085,7 @@ void frontend_keypress(void *handle) * any keypress. */ if (inst->exited) - cleanup_exit(0); + gtk_widget_destroy(inst->window); } static void exit_callback(void *vinst)