diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-04-29 23:28:53 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-04-29 23:28:53 +0000 |
| commit | 9a5d5bd200ada18a71147856db28639d1ca1c28c (patch) | |
| tree | 58ed4834ebca0768cba28932111b0f9597e0ae35 /mixgtk | |
| parent | 7c07af67784893efd6eb5f7ff51937171ba4628e (diff) | |
| download | mdk-9a5d5bd200ada18a71147856db28639d1ca1c28c.tar.gz mdk-9a5d5bd200ada18a71147856db28639d1ca1c28c.tar.bz2 | |
minor changes
Diffstat (limited to 'mixgtk')
| -rw-r--r-- | mixgtk/mixgtk.glade | 9 |
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> |