diff options
| -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> |