summaryrefslogtreecommitdiffhomepage
path: root/mixgtk/mixgtk_cmd_dispatcher.h
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-08 22:27:45 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-06-08 22:27:45 +0000
commitdcecb720e3f2409add20c2606d70260d41e23508 (patch)
treefa6fb0357aaa5d5d535bd1a6f85e463e1ef7680b /mixgtk/mixgtk_cmd_dispatcher.h
parent8b066a1f0a6bc9d8cb9a44e6c45f5e97f505ebb1 (diff)
downloadmdk-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.h8
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 */