diff options
Diffstat (limited to 'mixgtk/mixgtk_fontsel.c')
| -rw-r--r-- | mixgtk/mixgtk_fontsel.c | 42 |
1 files changed, 16 insertions, 26 deletions
diff --git a/mixgtk/mixgtk_fontsel.c b/mixgtk/mixgtk_fontsel.c index 139fe9d..3119825 100644 --- a/mixgtk/mixgtk_fontsel.c +++ b/mixgtk/mixgtk_fontsel.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_fontsel.c : * Implementation of the functions declared in mixgtk_fontsel.h * ------------------------------------------------------------------ - * Last change: Time-stamp: "2001-04-28 00:42:21 jao" + * Last change: Time-stamp: "2001-04-28 23:44:18 jao" * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -41,23 +41,6 @@ static mixgtk_widget_id_t widget_ids_[] = { MIXGTK_WIDGET_PROMPT, MIXGTK_WIDGET_LOG, MIXGTK_WIDGET_MIXAL, - MIXGTK_WIDGET_rA, - MIXGTK_WIDGET_rX, - MIXGTK_WIDGET_rJ, - MIXGTK_WIDGET_rI1, - MIXGTK_WIDGET_rI2, - MIXGTK_WIDGET_rI3, - MIXGTK_WIDGET_rI4, - MIXGTK_WIDGET_rI5, - MIXGTK_WIDGET_rI6, - MIXGTK_WIDGET_CMP_L, - MIXGTK_WIDGET_CMP_E, - MIXGTK_WIDGET_CMP_G, - MIXGTK_WIDGET_OVER, - MIXGTK_WIDGET_CELLS, - MIXGTK_WIDGET_LAPTIME, - MIXGTK_WIDGET_PROGTIME, - MIXGTK_WIDGET_UPTIME }; #define WIDGET_NO_ (sizeof (widget_ids_) / sizeof (widget_ids_[0])) @@ -87,6 +70,13 @@ mixgtk_fontsel_init (void) infos_[i].style = gtk_style_copy (gtk_widget_get_style (infos_[i].widget)); gtk_widget_set_style (infos_[i].widget, infos_[i].style); + if (widget_ids_[i] == MIXGTK_WIDGET_MIXVM) + { + int k; + for (k = MIXGTK_WIDGET_rA; k <= MIXGTK_WIDGET_UPTIME; ++k) + gtk_widget_set_style (mixgtk_widget_factory_get (k), + infos_[i].style); + } infos_[i].font = NULL; g_hash_table_insert (winfo_, GINT_TO_POINTER (widget_ids_[i]), (gpointer)(infos_ + i)); @@ -108,17 +98,17 @@ mixgtk_fontsel_set (mixgtk_widget_id_t widget, const gchar *font) w->style->font = f; if (w->font != NULL) g_free (w->font); w->font = g_strdup (font); - // gtk_widget_set_style (w, style); - gtk_widget_draw (w->widget, FALSE); + gtk_widget_draw (w->widget, NULL); + + if (widget == MIXGTK_WIDGET_MIXVM) + { + int k; + for (k = MIXGTK_WIDGET_rA; k <= MIXGTK_WIDGET_UPTIME; ++k) + gtk_widget_draw (mixgtk_widget_factory_get (k), NULL); + } } } - if (widget == MIXGTK_WIDGET_MIXVM) - { - int k; - for (k = MIXGTK_WIDGET_rA; k <= MIXGTK_WIDGET_UPTIME; ++k) - mixgtk_fontsel_set (k, font); - } } const gchar * |