diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2011-04-13 13:28:46 -0400 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2011-04-13 13:28:46 -0400 |
| commit | 5f55c420471db9a05d145e140b3a7cdfc5bdba9f (patch) | |
| tree | 78b5037e0936c1e02a4e9e615c5254be6504fbf8 /gtk/gtkmenushellprivate.h | |
| parent | f771a641e2462dcae27a80652ff3b6719150ce3f (diff) | |
| download | gtk+-5f55c420471db9a05d145e140b3a7cdfc5bdba9f.tar.gz | |
GtkMenuShell: always 'activate' menu shells
Failing to do so can leave us with a stuck grab in some cases.
https://bugzilla.gnome.org/show_bug.cgi?id=554057
Diffstat (limited to 'gtk/gtkmenushellprivate.h')
| -rw-r--r-- | gtk/gtkmenushellprivate.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk/gtkmenushellprivate.h b/gtk/gtkmenushellprivate.h index 6015f0c6e2..5c93b084e8 100644 --- a/gtk/gtkmenushellprivate.h +++ b/gtk/gtkmenushellprivate.h @@ -58,7 +58,6 @@ struct _GtkMenuShellPrivate void _gtk_menu_shell_select_last (GtkMenuShell *menu_shell, gboolean search_sensitive); -void _gtk_menu_shell_activate (GtkMenuShell *menu_shell); gint _gtk_menu_shell_get_popup_delay (GtkMenuShell *menu_shell); void _gtk_menu_shell_set_grab_device (GtkMenuShell *menu_shell, GdkDevice *device); |