diff options
| author | Paolo Borelli <pborelli@gnome.org> | 2016-02-28 16:22:31 +0100 |
|---|---|---|
| committer | Paolo Borelli <pborelli@gnome.org> | 2016-02-28 18:22:42 +0100 |
| commit | 72b40266bde69effa75fabae960748c2c7832a4d (patch) | |
| tree | 4cb81a3c9d180a46b1acbd19a957085e8d27ff5a /gdk/gdkdisplay.c | |
| parent | 450b39f4e4fd8a6c904ed8663d1b2257381c2eb8 (diff) | |
| download | gtk+-72b40266bde69effa75fabae960748c2c7832a4d.tar.gz | |
gdkwindow: cleanup, avoid direct access to display members
Diffstat (limited to 'gdk/gdkdisplay.c')
| -rw-r--r-- | gdk/gdkdisplay.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c index d51346ff20..f95d559dfa 100644 --- a/gdk/gdkdisplay.c +++ b/gdk/gdkdisplay.c @@ -1072,6 +1072,14 @@ switch_to_pointer_grab (GdkDisplay *display, } void +_gdk_display_update_last_event (GdkDisplay *display, + const GdkEvent *event) +{ + if (gdk_event_get_time (event) != GDK_CURRENT_TIME) + display->last_event_time = gdk_event_get_time (event); +} + +void _gdk_display_device_grab_update (GdkDisplay *display, GdkDevice *device, GdkDevice *source_device, |