gtk:leave-gtk-main ()

Makes the innermost invocation of the main loop return when it regains control. In the Lisp binding to GTK the gtk:main-quit function is not called, but the gtk:leave-gtk-main function. This function does some additional bookkeeping, which is necessary to stop a Lisp program safely. See the gtk:within-main-loop documentation for an example.