From 9a5d5bd200ada18a71147856db28639d1ca1c28c Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Sun, 29 Apr 2001 23:28:53 +0000 Subject: minor changes --- mixgtk/mixgtk.glade | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'mixgtk') diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index 69d8a17..c1679f2 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -111,6 +111,7 @@ GtkMenuItem debug_run + Run program GDK_MOD1_MASK GDK_R @@ -128,6 +129,7 @@ GtkMenuItem debug_next + Execute next instruction GDK_MOD1_MASK GDK_N @@ -175,6 +177,7 @@ GtkMenuItem colors + Change colors of MIXAL activate on_colors_activate @@ -253,6 +256,7 @@ GtkMenuItem save + Save current settings activate on_save_activate @@ -265,6 +269,7 @@ GtkCheckMenuItem save_on_exit + Toogle save settings on exit toggled on_save_on_exit_toggle @@ -272,7 +277,7 @@ False - True + False @@ -2116,7 +2121,7 @@ GTK_WIN_POS_NONE True False - True + False False GTK_UPDATE_CONTINUOUS -- cgit v1.2.3