diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-04 22:34:15 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-07-04 22:34:15 +0000 |
commit | 6d482456bec9690d49b29f7bb0ddf029d71b3081 (patch) | |
tree | f6c0abd5037595d13be71a4fb5fd66a21e8acca0 /mixgtk/mixgtk_cmd_dispatcher.c | |
parent | d60d488228a8850742954dbc4b91895998641487 (diff) | |
download | mdk-6d482456bec9690d49b29f7bb0ddf029d71b3081.tar.gz mdk-6d482456bec9690d49b29f7bb0ddf029d71b3081.tar.bz2 |
new menu item to change all fonts at once.
Diffstat (limited to 'mixgtk/mixgtk_cmd_dispatcher.c')
-rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_cmd_dispatcher.c b/mixgtk/mixgtk_cmd_dispatcher.c index a87913b..1ea7df7 100644 --- a/mixgtk/mixgtk_cmd_dispatcher.c +++ b/mixgtk/mixgtk_cmd_dispatcher.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_cmd_dispatcher.c : * Implementation of the functions declared in mixgtk_cmd_dispatcher.h * ------------------------------------------------------------------ - * $Id: mixgtk_cmd_dispatcher.c,v 1.18 2004/07/02 00:06:26 jao Exp $ + * $Id: mixgtk_cmd_dispatcher.c,v 1.19 2004/07/04 22:34:15 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001, 2002, 2004 Free Software Foundation, Inc. * @@ -539,3 +539,10 @@ on_prompt_font_activate () GtkWidget *w[] = { dis_data_.prompt }; mixgtk_fontsel_query_font (MIX_FONT_PROMPT, w, 1); } + +void +mixgtk_cmd_dispatcher_update_fonts (void) +{ + mixgtk_fontsel_set_font (MIX_FONT_LOG, dis_data_.log); + mixgtk_fontsel_set_font (MIX_FONT_PROMPT, dis_data_.prompt); +} |