diff options
Diffstat (limited to 'mixgtk/mixgtk_widgets.h')
-rw-r--r-- | mixgtk/mixgtk_widgets.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_widgets.h b/mixgtk/mixgtk_widgets.h index 26e8b4d..ac221cc 100644 --- a/mixgtk/mixgtk_widgets.h +++ b/mixgtk/mixgtk_widgets.h @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixgtk_widgets.h : * glade-based factory of mixvm widgets * ------------------------------------------------------------------ - * Last change: Time-stamp: <01/03/08 22:27:01 jose> + * Last change: Time-stamp: <01/03/09 23:08:10 jose> * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -34,6 +34,7 @@ typedef enum { MIXGTK_WIDGET_WORD_DIALOG, /* input dialog for a mix word */ MIXGTK_WIDGET_PROMPT, /* command prompt */ MIXGTK_WIDGET_LOG, /* command output */ + MIXGTK_WIDGET_MIXAL, /* mixal source file */ MIXGTK_WIDGET_rA, MIXGTK_WIDGET_rX, MIXGTK_WIDGET_rJ, @@ -48,7 +49,12 @@ typedef enum { MIXGTK_WIDGET_CMP_G, MIXGTK_WIDGET_OVER, MIXGTK_WIDGET_CELLS, + MIXGTK_WIDGET_CELLS_SCROLL, MIXGTK_WIDGET_DEVICE, + MIXGTK_WIDGET_LOC, + MIXGTK_WIDGET_LAPTIME, + MIXGTK_WIDGET_PROGTIME, + MIXGTK_WIDGET_UPTIME, MIXGTK_WIDGET_NONE } mixgtk_widget_id_t; |