diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-10 21:48:17 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-05-10 21:48:17 +0000 |
commit | 3adef4a04d0f506836bc518aafbfab2d55c1da88 (patch) | |
tree | f8439629277e591969e4d1cda50fec935f3b835d /mixgtk/mixgtk_fontsel.c | |
parent | 798bd5f5ef4fab21b774833c0eed1de744f125b4 (diff) | |
download | mdk-3adef4a04d0f506836bc518aafbfab2d55c1da88.tar.gz mdk-3adef4a04d0f506836bc518aafbfab2d55c1da88.tar.bz2 |
devices font customisation added
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) |