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_cmd_dispatcher.h | |
parent | b08a27dca67a2e96b2d7fd194b1d5b6fd5b10529 (diff) | |
download | mdk-40d4b16f3d253de036a7192da8fce63f99df5371.tar.gz mdk-40d4b16f3d253de036a7192da8fce63f99df5371.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 */ |