[broadway] Serialize event times

Event times come from the browser and may change weirdly when we reconnect
with another browser, so we normalize these to be strictly increasing
and with a 5 second gap for each reconnect.
This commit is contained in:
Alexander Larsson
2011-04-07 19:12:51 +02:00
parent 9d974ca13a
commit 095ccf9c11
4 changed files with 24 additions and 9 deletions

View File

@ -150,21 +150,17 @@ struct _GdkBroadwayDisplay
/* input GdkDevice list */
GList *input_devices;
/* Time of most recent user interaction. */
gulong user_time;
/* The offscreen window that has the pointer in it (if any) */
GdkWindow *active_offscreen_window;
GSocketService *service;
BroadwayOutput *output;
guint32 saved_serial;
guint64 last_seen_time;
BroadwayInput *input;
GList *input_messages;
guint process_input_idle;
guint64 last_event_time;
/* Explicit pointer grabs: */
GdkWindow *pointer_grab_window;
guint32 pointer_grab_time;