diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-08 22:27:45 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-08 22:27:45 +0000 |
| commit | dcecb720e3f2409add20c2606d70260d41e23508 (patch) | |
| tree | fa6fb0357aaa5d5d535bd1a6f85e463e1ef7680b /mixgtk/mixgtk_gen_handlers.h | |
| parent | 8b066a1f0a6bc9d8cb9a44e6c45f5e97f505ebb1 (diff) | |
| download | mdk-dcecb720e3f2409add20c2606d70260d41e23508.tar.gz mdk-dcecb720e3f2409add20c2606d70260d41e23508.tar.bz2 | |
edit and compile menu entries added
Diffstat (limited to 'mixgtk/mixgtk_gen_handlers.h')
| -rw-r--r-- | mixgtk/mixgtk_gen_handlers.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mixgtk/mixgtk_gen_handlers.h b/mixgtk/mixgtk_gen_handlers.h index 0442d22..7b63b68 100644 --- a/mixgtk/mixgtk_gen_handlers.h +++ b/mixgtk/mixgtk_gen_handlers.h @@ -37,6 +37,13 @@ extern void on_file_exit_activate (GtkWidget *w, gpointer data); extern void +on_file_edit_activate (GtkWidget *w, gpointer data); + +extern void +on_file_compile_activate (GtkWidget *w, gpointer data); + + +extern void on_clear_breakpoints_activate (GtkWidget *w, gpointer data); extern void |