From 1df5b419595a9b70d1deee812c7aca5bb67857a3 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Thu, 10 May 2001 21:48:17 +0000
Subject: devices font customisation added

---
 mixgtk/mixgtk.glade     | 14 +++++++++++++-
 mixgtk/mixgtk_device.c  |  6 ++++--
 mixgtk/mixgtk_fontsel.c | 10 ++++++++--
 3 files changed, 25 insertions(+), 5 deletions(-)

(limited to 'mixgtk')

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)
-- 
cgit v1.2.3