diff options
Diffstat (limited to 'mixgtk/mixgtk_fontsel.c')
| -rw-r--r-- | mixgtk/mixgtk_fontsel.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/mixgtk/mixgtk_fontsel.c b/mixgtk/mixgtk_fontsel.c index 4467925..b3233b2 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-05-04 01:09:20 jao" + * Last change: Time-stamp: "2001-05-10 23:37:14 jao" * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -43,10 +43,11 @@ static mixgtk_widget_id_t widget_ids_[] = { MIXGTK_WIDGET_PROMPT, MIXGTK_WIDGET_LOG, MIXGTK_WIDGET_MIXAL, + MIXGTK_WIDGET_DEVICE }; static const gchar *keys_[] = { - "MIX.font", "Prompt.font", "Log.font", "MIXAL.font" + "MIX.font", "Prompt.font", "Log.font", "MIXAL.font", "Device.font" }; @@ -167,6 +168,11 @@ on_mix_font_activate (void) change_font_ (MIXGTK_WIDGET_MIXVM); } +void +on_devices_font_activate (void) +{ + change_font_ (MIXGTK_WIDGET_DEVICE); +} void on_fontsel_apply_clicked (void) |