wayland: Use event->key.time for setting key event time

We were using event->button.time before. That works because it's part of
the common event header, but it's wrong.
This commit is contained in:
Kristian Høgsberg 2014-05-26 14:45:21 -07:00
parent 544e1ac1d1
commit 6cd26e0939

View File

@ -1129,7 +1129,7 @@ deliver_key_event (GdkWaylandDeviceData *device,
event->key.window = device->keyboard_focus ? g_object_ref (device->keyboard_focus) : NULL; event->key.window = device->keyboard_focus ? g_object_ref (device->keyboard_focus) : NULL;
gdk_event_set_device (event, device->master_keyboard); gdk_event_set_device (event, device->master_keyboard);
gdk_event_set_source_device (event, device->keyboard); gdk_event_set_source_device (event, device->keyboard);
event->button.time = time_; event->key.time = time_;
event->key.state = device->modifiers; event->key.state = device->modifiers;
event->key.group = 0; event->key.group = 0;
event->key.hardware_keycode = key; event->key.hardware_keycode = key;