From 3adef4a04d0f506836bc518aafbfab2d55c1da88 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 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'mixgtk/mixgtk.glade')

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