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 5b74e6357c8ed7ec8f33d634cd6d9604cab4e1c4..d93023834feadf9f25cc139030b4b0c152e1330a 100644 |
--- a/ui/events/platform/x11/x11_event_source.h |
+++ b/ui/events/platform/x11/x11_event_source.h |
@@ -62,6 +62,10 @@ class EVENTS_EXPORT X11EventSource { |
XDisplay* display() { return display_; } |
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. |
sky
2016/05/12 15:01:16
nit: generally when referring to fields and parame
|
+ Time UpdateLastSeenServerTime(); |
+ |
void StopCurrentEventStream(); |
void OnDispatcherListChanged(); |