| Index: ui/events/platform/x11/x11_event_source.h
|
| diff --git a/ui/events/platform/x11/x11_event_source.h b/ui/events/platform/x11/x11_event_source.h
|
| index c878e172440046f6c2dfdee41ab502441c509cbe..8a9763d1157ed75145dfdaf56b2b4305a310ac27 100644
|
| --- a/ui/events/platform/x11/x11_event_source.h
|
| +++ b/ui/events/platform/x11/x11_event_source.h
|
| @@ -68,9 +68,13 @@ class EVENTS_EXPORT X11EventSource {
|
| Time last_seen_server_time() const { return last_seen_server_time_; }
|
|
|
| // Explicitly asks the X11 server for the current timestamp, and updates
|
| - // |last_seen_server_time| with this value.
|
| + // |last_seen_server_time_| with this value.
|
| Time UpdateLastSeenServerTime();
|
|
|
| + // Sets |last_seen_server_time_| to |time| if this would cause the time to
|
| + // move forward.
|
| + void SetLastSeenServerTime(Time time);
|
| +
|
| void StopCurrentEventStream();
|
| void OnDispatcherListChanged();
|
|
|
|
|