diff options
| -rw-r--r-- | mixgtk/mixgtk.glade | 14 | ||||
| -rw-r--r-- | mixgtk/mixgtk_device.c | 6 | ||||
| -rw-r--r-- | mixgtk/mixgtk_fontsel.c | 10 |
3 files changed, 25 insertions, 5 deletions
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index c1679f2..174166d 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -92,7 +92,7 @@ <handler>on_file_exit_activate</handler> <last_modification_time>Tue, 20 Feb 2001 22:37:58 GMT</last_modification_time> </signal> - <label>_Exit</label> + <label>E_xit</label> <right_justify>False</right_justify> </widget> </widget> @@ -244,6 +244,18 @@ <label>Command l_og</label> <right_justify>False</right_justify> </widget> + + <widget> + <class>GtkMenuItem</class> + <name>devices</name> + <signal> + <name>activate</name> + <handler>on_devices_font_activate</handler> + <last_modification_time>Thu, 10 May 2001 21:38:40 GMT</last_modification_time> + </signal> + <label>De_vices</label> + <right_justify>False</right_justify> + </widget> </widget> </widget> diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c index 3913bfa..26e48f5 100644 --- a/mixgtk/mixgtk_device.c +++ b/mixgtk/mixgtk_device.c @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixgtk_device.c : * actual types for mixgtk devices * ------------------------------------------------------------------ - * Last change: Time-stamp: <2001-05-09 02:35:09 jao> + * Last change: Time-stamp: <2001-05-10 23:42:26 jao> * ------------------------------------------------------------------ * Copyright (C) 2001 Free Software Foundation, Inc. * @@ -199,7 +199,7 @@ mixgtk_device_construct_gui_ (struct mixgtk_device_t *dev) g_assert (dev->widget); for (k =0; k < BIN_DEV_COL_; ++k) { - gtk_clist_set_column_width (GTK_CLIST (dev->widget), k, 100); + gtk_clist_set_column_width (GTK_CLIST (dev->widget), k, 120); gtk_clist_set_column_auto_resize (GTK_CLIST (dev->widget), k, TRUE); } gtk_container_add (GTK_CONTAINER (bindev->scroll), dev->widget); @@ -208,6 +208,8 @@ mixgtk_device_construct_gui_ (struct mixgtk_device_t *dev) } gtk_widget_show (label); + gtk_widget_set_style (dev->widget, + gtk_widget_get_style (GTK_WIDGET (container_))); gtk_widget_show (dev->widget); gtk_widget_draw (GTK_WIDGET (container_), NULL); } 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) |