From 75008f7cd9831b65de6e452860a6908b2019d9d1 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Fri, 27 Apr 2001 22:54:00 +0000 Subject: font customization added --- mixgtk/mixgtk_widgets.h | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'mixgtk/mixgtk_widgets.h') 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; -- cgit v1.2.3