diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-08 21:55:13 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-08 21:55:13 +0000 |
commit | b86afb94db26dba9d67d274736f07866b41b185d (patch) | |
tree | 3666eb485b19844e193cfde9f008dcca0edde810 /mixgtk/mixgtk_gen_handlers.h | |
parent | 44d6a545a0cc61c8c986ce6bcf126548386ba246 (diff) | |
download | mdk-b86afb94db26dba9d67d274736f07866b41b185d.tar.gz mdk-b86afb94db26dba9d67d274736f07866b41b185d.tar.bz2 |
devdir command via menu
Diffstat (limited to 'mixgtk/mixgtk_gen_handlers.h')
-rw-r--r-- | mixgtk/mixgtk_gen_handlers.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_gen_handlers.h b/mixgtk/mixgtk_gen_handlers.h index 7b63b68..1e435c3 100644 --- a/mixgtk/mixgtk_gen_handlers.h +++ b/mixgtk/mixgtk_gen_handlers.h @@ -42,7 +42,6 @@ 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); @@ -52,6 +51,11 @@ on_save_on_exit_toggle (GtkWidget *w, gpointer data); extern void on_save_activate (GtkWidget *w, gpointer data); +typedef void (*file_callback_t)(const gchar *file); + +extern void +mixgtk_get_file (file_callback_t callback, const gchar *title, + const gchar *pattern); #endif /* MIXGTK_GEN_HANDLERS_H */ |