From 3adef4a04d0f506836bc518aafbfab2d55c1da88 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Thu, 10 May 2001 21:48:17 +0000 Subject: devices font customisation added --- mixgtk/mixgtk_device.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'mixgtk/mixgtk_device.c') 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); } -- cgit v1.2.3