diff options
Diffstat (limited to 'mixgtk/mixgtk_mixal.c')
| -rw-r--r-- | mixgtk/mixgtk_mixal.c | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/mixgtk/mixgtk_mixal.c b/mixgtk/mixgtk_mixal.c index 1ee9475..3b2d42d 100644 --- a/mixgtk/mixgtk_mixal.c +++ b/mixgtk/mixgtk_mixal.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_mixal.c : * Implementation of the functions declared in mixgtk_mixal.h * ------------------------------------------------------------------ - * $Id: mixgtk_mixal.c,v 1.19 2004/06/30 14:07:53 jao Exp $ + * $Id: mixgtk_mixal.c,v 1.20 2004/07/04 22:34:15 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001, 2002, 2004 Free Software Foundation, Inc. * @@ -83,6 +83,8 @@ init_symbols_ (void) (MIXGTK_SYMBOLS_DIALOG, SYMBOLS_VIEW_NAME_)); g_assert (symbols_view_); + mixgtk_fontsel_set_font (MIX_FONT_DEFAULT, GTK_WIDGET (symbols_view_)); + symbols_store_ = gtk_list_store_new (SYMBOLS_COL_NO, G_TYPE_STRING, G_TYPE_STRING, @@ -241,6 +243,13 @@ mixgtk_mixal_reparent (GtkStatusbar *status) } void +mixgtk_mixal_update_fonts (void) +{ + mixgtk_fontsel_set_font (MIX_FONT_MIXAL, GTK_WIDGET (clist_)); + mixgtk_fontsel_set_font (MIX_FONT_DEFAULT, GTK_WIDGET (symbols_view_)); +} + +void mixgtk_mixal_pop_status (void) { if (status_ != NULL) @@ -548,14 +557,6 @@ on_symbols_activate () } void -on_notebook_switch_page (GtkNotebook *notebook) -{ -/* gint p = gtk_notebook_get_current_page (notebook); */ -/* if (p != MIXAL_TAB_POS_) gtk_statusbar_pop (status_, status_context_); */ -/* if (p == MIXAL_TAB_POS_) mixgtk_mixal_update (); */ -} - -void on_mixal_leave_notify_event () { if (status_ != NULL) gtk_statusbar_pop (status_, status_context_); |