summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2001-04-29 23:28:53 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2001-04-29 23:28:53 +0000
commit2fb70b6bbe29d0b446f6e920e2d78460ea9a9006 (patch)
tree5451e39d68999abfa30a3e61b6cc4741d79bf87f
parent80e963508a3f4a24b218a54c553ed472b9d1fabb (diff)
downloadmdk-2fb70b6bbe29d0b446f6e920e2d78460ea9a9006.tar.gz
mdk-2fb70b6bbe29d0b446f6e920e2d78460ea9a9006.tar.bz2
minor changes
-rw-r--r--mixgtk/mixgtk.glade9
1 files 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>