From 13884bea299129048c1912510292d1207f520323 Mon Sep 17 00:00:00 2001
From: jaortega <jaortega>
Date: Fri, 9 Mar 2001 00:13:21 +0000
Subject: partial functionality implemented

---
 mixgtk/mixgtk_cmd_dispatcher.h | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'mixgtk/mixgtk_cmd_dispatcher.h')

diff --git a/mixgtk/mixgtk_cmd_dispatcher.h b/mixgtk/mixgtk_cmd_dispatcher.h
index 0169a5d..b0beb17 100644
--- a/mixgtk/mixgtk_cmd_dispatcher.h
+++ b/mixgtk/mixgtk_cmd_dispatcher.h
@@ -1,7 +1,7 @@
 /* -*-c-*- ---------------- mixgtk_cmd_dispatcher.h :
  * functions to access the command dispatcher
  * ------------------------------------------------------------------
- *  Last change: Time-stamp: <01/02/25 17:24:28 jose>
+ *  Last change: Time-stamp: <01/03/06 22:29:57 jose>
  * ------------------------------------------------------------------
  * Copyright (C) 2001 Free Software Foundation, Inc.
  *  
@@ -25,12 +25,20 @@
 #ifndef MIXGTK_CMD_DISPATCHER_H
 #define MIXGTK_CMD_DISPATCHER_H
 
+#include <mixlib/mix_vm.h>
 #include "mixgtk_widgets.h"
 
 /* initialise the command dispatcher */
 extern gboolean
-mixgtk_cmd_dispatcher_init ();
+mixgtk_cmd_dispatcher_init (void);
 
+/* dispatch an externally provided command */
+extern void
+mixgtk_cmd_dispatcher_dispatch (const gchar *command);
+
+/* get the underlying vm */
+extern mix_vm_t *
+mixgtk_cmd_dispatcher_get_vm (void);
 
 /* make gtk signal callbacks accessible to glade */
 /* new command handler */
-- 
cgit v1.2.3