diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-04-27 22:54:00 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-04-27 22:54:00 +0000 |
| commit | 1f2208536e4659b79f49c0256c18f68b61ed9f7c (patch) | |
| tree | c0c9832ea111aff0329aeee83c3100c58e67166f /mixgtk/mixgtk_widgets.h | |
| parent | 35cd6513fba2f158ef6e68a2c1bddb7fee0c6ebf (diff) | |
| download | mdk-1f2208536e4659b79f49c0256c18f68b61ed9f7c.tar.gz mdk-1f2208536e4659b79f49c0256c18f68b61ed9f7c.tar.bz2 | |
font customization added
Diffstat (limited to 'mixgtk/mixgtk_widgets.h')
| -rw-r--r-- | mixgtk/mixgtk_widgets.h | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/mixgtk/mixgtk_widgets.h b/mixgtk/mixgtk_widgets.h index 00147fc..461e1bf 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: <2001-04-22 00:01:13 jao> + * Last change: Time-stamp: <2001-04-27 23:32:16 jao> * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -35,7 +35,9 @@ typedef enum { MIXGTK_WIDGET_WORD_DIALOG, /* input dialog for a mix word */ MIXGTK_WIDGET_ABOUT_DIALOG, MIXGTK_WIDGET_GOTO_DIALOG, - MIXGTK_WIDGET_COLORSEL_DIALOG, /* color selection dialog */ + MIXGTK_WIDGET_COLORSEL_DIALOG, /* color customization dialog */ + MIXGTK_WIDGET_FONTSEL_DIALOG, /* font selection dialog */ + MIXGTK_WIDGET_MIXVM, /* virtual machine */ MIXGTK_WIDGET_PROMPT, /* command prompt */ MIXGTK_WIDGET_LOG, /* command output */ MIXGTK_WIDGET_MIXAL, /* mixal source file */ @@ -53,12 +55,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_CELLS_SCROLL, + MIXGTK_WIDGET_DEVICE, + MIXGTK_WIDGET_LOC, MIXGTK_WIDGET_NONE } mixgtk_widget_id_t; |