diff options
| author | Tim Janik <timj@gtk.org> | 1999-01-13 20:36:23 +0000 |
|---|---|---|
| committer | Tim Janik <timj@src.gnome.org> | 1999-01-13 20:36:23 +0000 |
| commit | 52a441445ccbc226ed39813d35c34694f91aa731 (patch) | |
| tree | f1b6947ffcfe0db5e08a98ae9f22df149fbbe06a /gtk/gtkmenushell.c | |
| parent | aca733c310ffbecf5a926564c783027080edd4ca (diff) | |
| download | gtk+-52a441445ccbc226ed39813d35c34694f91aa731.tar.gz | |
in comparisions with GTK_TYPE_STRING, use the fundamental type to catch
Wed Jan 13 20:14:32 1999 Tim Janik <timj@gtk.org>
* gtk/gtkarg.c (gtk_arg_copy): in comparisions with GTK_TYPE_STRING, use
the fundamental type to catch GTK_TYPE_IDENTIFIER as well.
* gtk/gtkmenushell.c:
(gtk_real_menu_shell_activate_current):
(gtk_menu_shell_button_release): asure that we only activate sensitive
menu items, reported by Dave Cole <dave@dccs.com.au>.
Diffstat (limited to 'gtk/gtkmenushell.c')
| -rw-r--r-- | gtk/gtkmenushell.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gtk/gtkmenushell.c b/gtk/gtkmenushell.c index 0f6555d1b4..7583ea71f9 100644 --- a/gtk/gtkmenushell.c +++ b/gtk/gtkmenushell.c @@ -506,7 +506,8 @@ gtk_menu_shell_button_release (GtkWidget *widget, if ((event->time - menu_shell->activate_time) > MENU_SHELL_TIMEOUT) { - if (menu_item && (menu_shell->active_menu_item == menu_item)) + if (menu_item && (menu_shell->active_menu_item == menu_item) && + GTK_WIDGET_IS_SENSITIVE (menu_item)) { if (GTK_MENU_ITEM (menu_item)->submenu == NULL) { @@ -968,6 +969,7 @@ gtk_real_menu_shell_activate_current (GtkMenuShell *menu_shell, gboolean force_hide) { if (menu_shell->active_menu_item && + GTK_WIDGET_IS_SENSITIVE (menu_shell->active_menu_item) && GTK_MENU_ITEM (menu_shell->active_menu_item)->submenu == NULL) { gtk_menu_shell_activate_item (menu_shell, |