diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-07-09 22:49:55 +0000 |
commit | 888a3d7a8c313481de4004a5a1766f85c0dd7f20 (patch) | |
tree | 8bb257e31d058c98bda72805281185af98a47ffc /mixgtk/mixgtk_cmd_dispatcher.h | |
parent | 1265e5419737a2fbd12eff899d19df706855b55e (diff) | |
download | mdk-888a3d7a8c313481de4004a5a1766f85c0dd7f20.tar.gz mdk-888a3d7a8c313481de4004a5a1766f85c0dd7f20.tar.bz2 |
history file
Diffstat (limited to 'mixgtk/mixgtk_cmd_dispatcher.h')
-rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.h | 5 |
1 files changed, 5 insertions, 0 deletions
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 */ |