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(); |