diff options
Diffstat (limited to 'mixgtk/mixgtk_gen_handlers.c')
-rw-r--r-- | mixgtk/mixgtk_gen_handlers.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_gen_handlers.c b/mixgtk/mixgtk_gen_handlers.c index 8f0c07c..eefeae3 100644 --- a/mixgtk/mixgtk_gen_handlers.c +++ b/mixgtk/mixgtk_gen_handlers.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_gen_handlers.c : * Implementation of the functions declared in mixgtk_gen_handlers.h * ------------------------------------------------------------------ - * Last change: Time-stamp: "01/03/07 23:25:10 jose" + * Last change: Time-stamp: "01/03/10 15:51:47 jose" * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -68,6 +68,19 @@ on_file_open_activate (GtkWidget *w, gpointer data) } void +on_debug_run_activate (GtkWidget *w, gpointer p) +{ + mixgtk_cmd_dispatcher_dispatch (mix_vm_command_to_string (MIX_CMD_RUN)); +} + +void +on_debug_next_activate (GtkWidget *w, gpointer p) +{ + mixgtk_cmd_dispatcher_dispatch (mix_vm_command_to_string (MIX_CMD_NEXT)); +} + + +void on_file_exit_activate (GtkWidget *w, gpointer data) { gtk_main_quit (); |