From 6d482456bec9690d49b29f7bb0ddf029d71b3081 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Sun, 4 Jul 2004 22:34:15 +0000 Subject: new menu item to change all fonts at once. --- mixgtk/mixgtk.glade | 47 ++++++++++++++++++++++++++++++++--------------- 1 file changed, 32 insertions(+), 15 deletions(-) (limited to 'mixgtk/mixgtk.glade') diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index aaac693..0f8b6bc 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -12,6 +12,7 @@ 550 True False + gmixvm-main True False False @@ -48,7 +49,7 @@ - + True gtk-open 1 @@ -71,7 +72,7 @@ - + True gtk-justify-fill 1 @@ -94,7 +95,7 @@ - + True gtk-execute 1 @@ -123,7 +124,7 @@ - + True gtk-quit 1 @@ -159,7 +160,7 @@ - + True gtk-go-forward 1 @@ -182,7 +183,7 @@ - + True gtk-goto-last 1 @@ -205,7 +206,7 @@ - + True gtk-clear 1 @@ -228,7 +229,7 @@ - + True gtk-index 1 @@ -270,7 +271,7 @@ True - + True gtk-dnd-multiple 1 @@ -335,7 +336,7 @@ True - + True gtk-select-font 1 @@ -393,6 +394,22 @@ + + + + True + + + + + + True + Change all fonts at once + _All + True + + + @@ -407,7 +424,7 @@ - + True gtk-zoom-100 1 @@ -428,7 +445,7 @@ - + True gtk-home 1 @@ -449,7 +466,7 @@ - + True gtk-preferences 1 @@ -477,7 +494,7 @@ - + True gtk-save 1 @@ -522,7 +539,7 @@ - + True gtk-help 1 -- cgit v1.2.3