summaryrefslogtreecommitdiff
path: root/packages/gtk+/gtk+-2.10.10/menu-deactivate.patch
diff options
context:
space:
mode:
authorMichael Lauer <mickey@vanille-media.de>2007-08-08 10:47:28 +0000
committerMichael Lauer <mickey@vanille-media.de>2007-08-08 10:47:28 +0000
commit75ece19d79d8bc4016ca410161c2c818aede0c13 (patch)
tree198167c5d4d1761cf872cb3098353aceae4b25d1 /packages/gtk+/gtk+-2.10.10/menu-deactivate.patch
parent451b6168bc0df5ace1f62bb55cd8a2c4516e1940 (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.patch51
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)))