diff options
Diffstat (limited to 'meta/packages/gtk+/gtk+-2.10.9/menu-deactivate.patch')
| -rw-r--r-- | meta/packages/gtk+/gtk+-2.10.9/menu-deactivate.patch | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/meta/packages/gtk+/gtk+-2.10.9/menu-deactivate.patch b/meta/packages/gtk+/gtk+-2.10.9/menu-deactivate.patch new file mode 100644 index 0000000000..cfb8849e9f --- /dev/null +++ b/meta/packages/gtk+/gtk+-2.10.9/menu-deactivate.patch | |||
| @@ -0,0 +1,51 @@ | |||
| 1 | --- gtk+-2.10.0/gtk/gtkmenushell.c.orig 2006-07-05 17:17:34.000000000 +0200 | ||
| 2 | +++ gtk+-2.10.0/gtk/gtkmenushell.c 2006-07-05 17:19:01.000000000 +0200 | ||
| 3 | @@ -42,7 +42,7 @@ | ||
| 4 | #include "gtkintl.h" | ||
| 5 | #include "gtkalias.h" | ||
| 6 | |||
| 7 | -#define MENU_SHELL_TIMEOUT 500 | ||
| 8 | +#define MENU_SHELL_TIMEOUT 2000 | ||
| 9 | |||
| 10 | #define PACK_DIRECTION(m) \ | ||
| 11 | (GTK_IS_MENU_BAR (m) \ | ||
| 12 | @@ -203,6 +203,8 @@ | ||
| 13 | |||
| 14 | G_DEFINE_TYPE (GtkMenuShell, gtk_menu_shell, GTK_TYPE_CONTAINER) | ||
| 15 | |||
| 16 | +static int last_crossing_time; | ||
| 17 | + | ||
| 18 | static void | ||
| 19 | gtk_menu_shell_class_init (GtkMenuShellClass *klass) | ||
| 20 | { | ||
| 21 | @@ -517,6 +519,7 @@ | ||
| 22 | gtk_grab_add (GTK_WIDGET (menu_shell)); | ||
| 23 | menu_shell->have_grab = TRUE; | ||
| 24 | menu_shell->active = TRUE; | ||
| 25 | + last_crossing_time = 0; | ||
| 26 | } | ||
| 27 | } | ||
| 28 | |||
| 29 | @@ -669,6 +672,13 @@ | ||
| 30 | menu_shell->activate_time = 0; | ||
| 31 | deactivate = FALSE; | ||
| 32 | } | ||
| 33 | + | ||
| 34 | + if (last_crossing_time != 0 | ||
| 35 | + && ((event->time - last_crossing_time) < 500)) | ||
| 36 | + { | ||
| 37 | + last_crossing_time = 0; | ||
| 38 | + deactivate = FALSE; | ||
| 39 | + } | ||
| 40 | |||
| 41 | if (deactivate) | ||
| 42 | { | ||
| 43 | @@ -716,6 +726,8 @@ | ||
| 44 | { | ||
| 45 | menu_item = gtk_get_event_widget ((GdkEvent*) event); | ||
| 46 | |||
| 47 | + last_crossing_time = event->time; | ||
| 48 | + | ||
| 49 | if (!menu_item || | ||
| 50 | (GTK_IS_MENU_ITEM (menu_item) && | ||
| 51 | !_gtk_menu_item_is_selectable (menu_item))) | ||
