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_cmd_dispatcher.h | |
parent | 8b066a1f0a6bc9d8cb9a44e6c45f5e97f505ebb1 (diff) | |
download | mdk-dcecb720e3f2409add20c2606d70260d41e23508.tar.gz mdk-dcecb720e3f2409add20c2606d70260d41e23508.tar.bz2 |
edit and compile menu entries added
Diffstat (limited to 'mixgtk/mixgtk_cmd_dispatcher.h')
-rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.h | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/mixgtk/mixgtk_cmd_dispatcher.h b/mixgtk/mixgtk_cmd_dispatcher.h index 686ba4d..915f72b 100644 --- a/mixgtk/mixgtk_cmd_dispatcher.h +++ b/mixgtk/mixgtk_cmd_dispatcher.h @@ -44,11 +44,9 @@ mixgtk_cmd_dispatcher_get_times (gint *uptime, gint *progtime, gint *laptime); extern mix_vm_t * mixgtk_cmd_dispatcher_get_vm (void); -/* make gtk signal callbacks accessible to glade */ -/* new command handler */ -extern void -on_mixvm_cmd_entry_activate (GtkWidget *w, gpointer e); - +/* get the current source file */ +extern const gchar * +mixgtk_cmd_dispatcher_get_src_path (void); #endif /* MIXGTK_CMD_DISPATCHER_H */ |