tooltips: treat scroll events like key/button press instead of motion

This avoids tooltips from staying visible when scrolling using scroll
events.  Suggested by Paul Davis.
This commit is contained in:
Kristian Rietveld 2011-05-01 16:38:56 +02:00
parent cf588d7404
commit 0b3b2a943a

View File

@ -1573,13 +1573,13 @@ _gtk_tooltip_handle_event (GdkEvent *event)
case GDK_KEY_PRESS:
case GDK_DRAG_ENTER:
case GDK_GRAB_BROKEN:
case GDK_SCROLL:
gtk_tooltip_hide_tooltip (current_tooltip);
break;
case GDK_MOTION_NOTIFY:
case GDK_ENTER_NOTIFY:
case GDK_LEAVE_NOTIFY:
case GDK_SCROLL:
if (current_tooltip)
{
gboolean tip_area_set;