diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-24 01:40:46 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-06-24 01:40:46 +0000 |
commit | e65ad854a2548723e7f0904992f4529cdfb9de1c (patch) | |
tree | 6e56f9f46c404e9e466e784847d4a94967f50e4d /mixgtk/mixgtk_cmd_dispatcher.c | |
parent | beaafc5e333a95b002d1e35d2138a68457866c02 (diff) | |
download | mdk-e65ad854a2548723e7f0904992f4529cdfb9de1c.tar.gz mdk-e65ad854a2548723e7f0904992f4529cdfb9de1c.tar.bz2 |
almost complete (barring bugs) reimplementation of all gmixvm functionality in non-split mode for gtk 2.0.
Diffstat (limited to 'mixgtk/mixgtk_cmd_dispatcher.c')
-rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.c | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/mixgtk/mixgtk_cmd_dispatcher.c b/mixgtk/mixgtk_cmd_dispatcher.c index f237a1a..98782ce 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.16 2004/06/23 10:50:10 jao Exp $ + * $Id: mixgtk_cmd_dispatcher.c,v 1.17 2004/06/24 01:40:47 jao Exp $ * ------------------------------------------------------------------ * Copyright (C) 2001, 2002, 2004 Free Software Foundation, Inc. * @@ -43,6 +43,7 @@ #include <mixlib/mix_vm_command.h> #include "mixgtk_mixvm.h" #include "mixgtk_mixal.h" +#include "mixgtk_fontsel.h" #include "mixgtk_config.h" #include "mixgtk_cmd_dispatcher.h" @@ -361,6 +362,9 @@ mixgtk_cmd_dispatcher_init (mixgtk_dialog_id_t top) (GTK_WINDOW (mixgtk_widget_factory_get_dialog (MIXGTK_MAIN)), dis_data_.last_file); + mixgtk_fontsel_set_font (MIX_FONT_LOG, dis_data_.log); + mixgtk_fontsel_set_font (MIX_FONT_PROMPT, dis_data_.prompt); + restart = TRUE; return TRUE; } @@ -514,3 +518,17 @@ on_command_prompt_activate (GtkEntry *prompt, gpointer data) } g_free (text); } + +void +on_log_font_activate () +{ + GtkWidget *w[] = { dis_data_.log }; + mixgtk_fontsel_query_font (MIX_FONT_LOG, w, 1); +} + +void +on_prompt_font_activate () +{ + GtkWidget *w[] = { dis_data_.prompt }; + mixgtk_fontsel_query_font (MIX_FONT_PROMPT, w, 1); +} |