text view: Use GdkEvent API

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

View File

@@ -5442,7 +5442,7 @@ gtk_text_view_key_press_event (GtkWidget *widget, GdkEventKey *event)
gtk_text_view_reset_blink_time (text_view);
gtk_text_view_pend_cursor_blink (text_view);
if (!event->send_event && priv->text_handle)
if (!gdk_event_is_sent (event) && priv->text_handle)
_gtk_text_handle_set_mode (priv->text_handle,
GTK_TEXT_HANDLE_MODE_NONE);