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 | 2fb70b6bbe29d0b446f6e920e2d78460ea9a9006 (patch) | |
| tree | 5451e39d68999abfa30a3e61b6cc4741d79bf87f /mixgtk | |
| parent | 80e963508a3f4a24b218a54c553ed472b9d1fabb (diff) | |
| download | mdk-2fb70b6bbe29d0b446f6e920e2d78460ea9a9006.tar.gz mdk-2fb70b6bbe29d0b446f6e920e2d78460ea9a9006.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> |