diff options
author | jaortega <jaortega> | 2001-03-12 01:20:22 +0000 |
---|---|---|
committer | jaortega <jaortega> | 2001-03-12 01:20:22 +0000 |
commit | a7abb051dcb7cc730a527039b962fe9415a6486f (patch) | |
tree | 7a39802dd68e38243b28b38966a28fa25cf31a51 /mixgtk/mixgtk_gen_handlers.c | |
parent | da91a95fc54da6afc1ac2031002cb4462045ea00 (diff) | |
download | mdk-a7abb051dcb7cc730a527039b962fe9415a6486f.tar.gz mdk-a7abb051dcb7cc730a527039b962fe9415a6486f.tar.bz2 |
minor changes
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 (); |