summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-05-10 21:48:17 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-05-10 21:48:17 +0000
commit3adef4a04d0f506836bc518aafbfab2d55c1da88 (patch)
treef8439629277e591969e4d1cda50fec935f3b835d
parent798bd5f5ef4fab21b774833c0eed1de744f125b4 (diff)
downloadmdk-3adef4a04d0f506836bc518aafbfab2d55c1da88.tar.gz
mdk-3adef4a04d0f506836bc518aafbfab2d55c1da88.tar.bz2
devices font customisation added
-rw-r--r--mixgtk/mixgtk.glade14
-rw-r--r--mixgtk/mixgtk_device.c6
-rw-r--r--mixgtk/mixgtk_fontsel.c10
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)