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 | 40d4b16f3d253de036a7192da8fce63f99df5371 (patch) | |
| tree | bcc4f810672553cea01aaa8263329127f3b1f623 /mixgtk/mixgtk_gen_handlers.h | |
| parent | b08a27dca67a2e96b2d7fd194b1d5b6fd5b10529 (diff) | |
| download | mdk-40d4b16f3d253de036a7192da8fce63f99df5371.tar.gz mdk-40d4b16f3d253de036a7192da8fce63f99df5371.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 |