diff options
author | Matthias Clasen <mclasen@redhat.com> | 2015-08-31 11:04:10 -0400 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2015-08-31 11:07:00 -0400 |
commit | 690a11b5b8a4d97b844cdbd82891e6c18a20f802 (patch) | |
tree | faae630447d3041d879c57015204479c7a4d2621 /gdk | |
parent | 77b506e22af93409903ac145ecaa6794747dde8c (diff) | |
download | gtk+-690a11b5b8a4d97b844cdbd82891e6c18a20f802.tar.gz |
wayland: Stop key repeat on focus out
This should address the occasional 'key repeat gone wild' issue
that some people have been seeing in gnome-terminal under Wayland.
http://bugzilla.gnome.org/show_bug.cgi?id=747684
Diffstat (limited to 'gdk')
-rw-r--r-- | gdk/wayland/gdkdevice-wayland.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdk/wayland/gdkdevice-wayland.c b/gdk/wayland/gdkdevice-wayland.c index 5201d7d313..4e8f98f2bf 100644 --- a/gdk/wayland/gdkdevice-wayland.c +++ b/gdk/wayland/gdkdevice-wayland.c @@ -1184,6 +1184,8 @@ keyboard_handle_leave (void *data, if (!device->keyboard_focus) return; + stop_key_repeat (device); + _gdk_wayland_display_update_serial (display, serial); event = gdk_event_new (GDK_FOCUS_CHANGE); |