From 888a3d7a8c313481de4004a5a1766f85c0dd7f20 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Mon, 9 Jul 2001 22:49:55 +0000
Subject: history file

---
 mixgtk/mixgtk_cmd_dispatcher.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'mixgtk/mixgtk_cmd_dispatcher.h')

diff --git a/mixgtk/mixgtk_cmd_dispatcher.h b/mixgtk/mixgtk_cmd_dispatcher.h
index a67ec26..6ea840c 100644
--- a/mixgtk/mixgtk_cmd_dispatcher.h
+++ b/mixgtk/mixgtk_cmd_dispatcher.h
@@ -26,6 +26,7 @@
 #define MIXGTK_CMD_DISPATCHER_H
 
 #include <mixlib/mix_vm.h>
+#include <mixlib/mix_vm_command.h>
 #include "mixgtk_widgets.h"
 
 /* initialise the command dispatcher */
@@ -48,6 +49,10 @@ mixgtk_cmd_dispatcher_get_vm (void);
 extern const gchar *
 mixgtk_cmd_dispatcher_get_src_path (void);
 
+/* get the mix cmd dispatcher */
+extern mix_vm_cmd_dispatcher_t *
+mixgtk_cmd_dispatcher_get_mix_dispatcher (void);
+
 
 #endif /* MIXGTK_CMD_DISPATCHER_H */
 
-- 
cgit v1.2.3