From 7146e4176abf00fe8b789f35d533a0ac8941503f Mon Sep 17 00:00:00 2001 From: Sergey Cherepanov Date: Tue, 4 Dec 2012 12:32:45 +1100 Subject: [PATCH] Add wrapper for gtk_main_quit(). --- lib/gtk/gtkmain.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/lib/gtk/gtkmain.c b/lib/gtk/gtkmain.c index ebdf308..ce3f11b 100644 --- a/lib/gtk/gtkmain.c +++ b/lib/gtk/gtkmain.c @@ -56,7 +56,13 @@ static Object P_Gtk_Main () { return Void; } +static Object P_Gtk_Main_Quit () { + gtk_main_quit (); + return Void; +} + void elk_init_gtk_gtkmain () { Define_Primitive (P_Gtk_Init, "gtk-init", 1, 1, EVAL); Define_Primitive (P_Gtk_Main, "gtk-main", 0, 0, EVAL); + Define_Primitive (P_Gtk_Main_Quit, "gtk-main-quit", 0, 0, EVAL); }