From f40f9b8ac4eedc6b0ed6e5245a093d18710cf918 Mon Sep 17 00:00:00 2001
From: jaortega <jaortega>
Date: Sat, 10 Mar 2001 02:34:32 +0000
Subject: gui update

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

(limited to 'mixgtk/mixgtk_cmd_dispatcher.h')

diff --git a/mixgtk/mixgtk_cmd_dispatcher.h b/mixgtk/mixgtk_cmd_dispatcher.h
index b0beb17..686ba4d 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/03/06 22:29:57 jose>
+ *  Last change: Time-stamp: <01/03/09 22:08:08 jose>
  * ------------------------------------------------------------------
  * Copyright (C) 2001 Free Software Foundation, Inc.
  *  
@@ -36,6 +36,10 @@ mixgtk_cmd_dispatcher_init (void);
 extern void
 mixgtk_cmd_dispatcher_dispatch (const gchar *command);
 
+/* get times */
+extern void
+mixgtk_cmd_dispatcher_get_times (gint *uptime, gint *progtime, gint *laptime);
+
 /* get the underlying vm */
 extern mix_vm_t *
 mixgtk_cmd_dispatcher_get_vm (void);
-- 
cgit v1.2.3