text handle: Use GdkEvent API

This commit is contained in:
Matthias Clasen
2017-08-26 12:22:35 -04:00
parent f7b0e90a22
commit db1f5ca247

View File

@@ -191,6 +191,7 @@ gtk_text_handle_widget_event (GtkWidget *widget,
gdouble event_x, event_y;
guint state;
gint pos;
GdkCrossingMode mode;
priv = handle->priv;
pos = _text_handle_pos_from_widget (handle, widget);
@@ -200,6 +201,7 @@ gtk_text_handle_widget_event (GtkWidget *widget,
event_type = gdk_event_get_event_type (event);
gdk_event_get_coords (event, &event_x, &event_y);
gdk_event_get_crossing_mode (event, &mode);
if (event_type == GDK_BUTTON_PRESS)
{
@@ -220,8 +222,8 @@ gtk_text_handle_widget_event (GtkWidget *widget,
else if (event_type == GDK_LEAVE_NOTIFY)
{
if (!priv->windows[pos].dragged &&
(event->crossing.mode == GDK_CROSSING_NORMAL ||
event->crossing.mode == GDK_CROSSING_UNGRAB))
(mode == GDK_CROSSING_NORMAL ||
mode == GDK_CROSSING_UNGRAB))
gtk_text_handle_unset_state (handle, pos, GTK_STATE_FLAG_PRELIGHT);
}
else if (event_type == GDK_MOTION_NOTIFY &&