diff options
author | Michael Lauer <mickey@vanille-media.de> | 2007-08-08 10:47:28 +0000 |
---|---|---|
committer | Michael Lauer <mickey@vanille-media.de> | 2007-08-08 10:47:28 +0000 |
commit | 75ece19d79d8bc4016ca410161c2c818aede0c13 (patch) | |
tree | 198167c5d4d1761cf872cb3098353aceae4b25d1 /packages/gtk+/gtk+-2.10.10/menu-deactivate.patch | |
parent | 451b6168bc0df5ace1f62bb55cd8a2c4516e1940 (diff) |
gtk+: drop 2.10.9 to 2.10.12, promote 2.10.14 as the new default version
2.11 will be added soon w/ DEFAULT_PREFERENCE=-1. If you still need 2.6.10,
please set your PREFERRED_PROVIDER accordingly.
Diffstat (limited to 'packages/gtk+/gtk+-2.10.10/menu-deactivate.patch')
-rw-r--r-- | packages/gtk+/gtk+-2.10.10/menu-deactivate.patch | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/packages/gtk+/gtk+-2.10.10/menu-deactivate.patch b/packages/gtk+/gtk+-2.10.10/menu-deactivate.patch deleted file mode 100644 index cfb8849e9f..0000000000 --- a/packages/gtk+/gtk+-2.10.10/menu-deactivate.patch +++ /dev/null @@ -1,51 +0,0 @@ ---- gtk+-2.10.0/gtk/gtkmenushell.c.orig 2006-07-05 17:17:34.000000000 +0200 -+++ gtk+-2.10.0/gtk/gtkmenushell.c 2006-07-05 17:19:01.000000000 +0200 -@@ -42,7 +42,7 @@ - #include "gtkintl.h" - #include "gtkalias.h" - --#define MENU_SHELL_TIMEOUT 500 -+#define MENU_SHELL_TIMEOUT 2000 - - #define PACK_DIRECTION(m) \ - (GTK_IS_MENU_BAR (m) \ -@@ -203,6 +203,8 @@ - - G_DEFINE_TYPE (GtkMenuShell, gtk_menu_shell, GTK_TYPE_CONTAINER) - -+static int last_crossing_time; -+ - static void - gtk_menu_shell_class_init (GtkMenuShellClass *klass) - { -@@ -517,6 +519,7 @@ - gtk_grab_add (GTK_WIDGET (menu_shell)); - menu_shell->have_grab = TRUE; - menu_shell->active = TRUE; -+ last_crossing_time = 0; - } - } - -@@ -669,6 +672,13 @@ - menu_shell->activate_time = 0; - deactivate = FALSE; - } -+ -+ if (last_crossing_time != 0 -+ && ((event->time - last_crossing_time) < 500)) -+ { -+ last_crossing_time = 0; -+ deactivate = FALSE; -+ } - - if (deactivate) - { -@@ -716,6 +726,8 @@ - { - menu_item = gtk_get_event_widget ((GdkEvent*) event); - -+ last_crossing_time = event->time; -+ - if (!menu_item || - (GTK_IS_MENU_ITEM (menu_item) && - !_gtk_menu_item_is_selectable (menu_item))) |