diff options
Diffstat (limited to 'mixgtk/mixgtk_gen_handlers.c')
| -rw-r--r-- | mixgtk/mixgtk_gen_handlers.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/mixgtk/mixgtk_gen_handlers.c b/mixgtk/mixgtk_gen_handlers.c index 983c16c..63314f1 100644 --- a/mixgtk/mixgtk_gen_handlers.c +++ b/mixgtk/mixgtk_gen_handlers.c @@ -123,12 +123,6 @@ on_file_compile_activate (GtkWidget *w, gpointer data) } void -on_main_window_destroy (GtkWidget *w, gpointer data) -{ - gtk_main_quit (); -} - -void on_debug_run_activate (GtkWidget *w, gpointer p) { mixgtk_cmd_dispatcher_dispatch (mix_vm_command_to_string (MIX_CMD_RUN)); |