diff options
| author | jaortega <jaortega> | 2001-03-10 02:34:32 +0000 |
|---|---|---|
| committer | jaortega <jaortega> | 2001-03-10 02:34:32 +0000 |
| commit | f40f9b8ac4eedc6b0ed6e5245a093d18710cf918 (patch) | |
| tree | 6a147c075508fc8c833aba7e30916adaf1ab947d /mixgtk/mixgtk_cmd_dispatcher.h | |
| parent | 59cc212ebe00245200e5a2d9f2393fbd1ddb4e94 (diff) | |
| download | mdk-f40f9b8ac4eedc6b0ed6e5245a093d18710cf918.tar.gz mdk-f40f9b8ac4eedc6b0ed6e5245a093d18710cf918.tar.bz2 | |
gui update
Diffstat (limited to 'mixgtk/mixgtk_cmd_dispatcher.h')
| -rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.h | 6 |
1 files changed, 5 insertions, 1 deletions
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); |