minor changes

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 ();