From 2fb70b6bbe29d0b446f6e920e2d78460ea9a9006 Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sun, 29 Apr 2001 23:28:53 +0000
Subject: minor changes

---
 mixgtk/mixgtk.glade | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

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 @@
 	  <widget>
 	    <class>GtkMenuItem</class>
 	    <name>debug_run</name>
+	    <tooltip>Run program</tooltip>
 	    <accelerator>
 	      <modifiers>GDK_MOD1_MASK</modifiers>
 	      <key>GDK_R</key>
@@ -128,6 +129,7 @@
 	  <widget>
 	    <class>GtkMenuItem</class>
 	    <name>debug_next</name>
+	    <tooltip>Execute next instruction</tooltip>
 	    <accelerator>
 	      <modifiers>GDK_MOD1_MASK</modifiers>
 	      <key>GDK_N</key>
@@ -175,6 +177,7 @@
 	  <widget>
 	    <class>GtkMenuItem</class>
 	    <name>colors</name>
+	    <tooltip>Change colors of MIXAL</tooltip>
 	    <signal>
 	      <name>activate</name>
 	      <handler>on_colors_activate</handler>
@@ -253,6 +256,7 @@
 	  <widget>
 	    <class>GtkMenuItem</class>
 	    <name>save</name>
+	    <tooltip>Save current settings</tooltip>
 	    <signal>
 	      <name>activate</name>
 	      <handler>on_save_activate</handler>
@@ -265,6 +269,7 @@
 	  <widget>
 	    <class>GtkCheckMenuItem</class>
 	    <name>save_on_exit</name>
+	    <tooltip>Toogle save settings on exit</tooltip>
 	    <signal>
 	      <name>toggled</name>
 	      <handler>on_save_on_exit_toggle</handler>
@@ -272,7 +277,7 @@
 	    </signal>
 	    <label>Save on _exit</label>
 	    <active>False</active>
-	    <always_show_toggle>True</always_show_toggle>
+	    <always_show_toggle>False</always_show_toggle>
 	  </widget>
 	</widget>
       </widget>
@@ -2116,7 +2121,7 @@
   <position>GTK_WIN_POS_NONE</position>
   <modal>True</modal>
   <allow_shrink>False</allow_shrink>
-  <allow_grow>True</allow_grow>
+  <allow_grow>False</allow_grow>
   <auto_shrink>False</auto_shrink>
   <policy>GTK_UPDATE_CONTINUOUS</policy>
 
-- 
cgit v1.2.3