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 | 1265e5419737a2fbd12eff899d19df706855b55e (patch) | |
tree | a2a715784c4c237c41021f294e870a1d13c555cf /mixgtk/mixgtk_gen_handlers.h | |
parent | b23a3924efec431d74d175a5f22c298383396ebd (diff) | |
download | mdk-1265e5419737a2fbd12eff899d19df706855b55e.tar.gz mdk-1265e5419737a2fbd12eff899d19df706855b55e.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 */ |