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 b05918dfd14a48f7286dac6d9d3e0a7d0f56b63f..602eda67dd386353969349c019687b767d778bde 100644 |
--- a/ui/events/platform/x11/x11_event_source.h |
+++ b/ui/events/platform/x11/x11_event_source.h |
@@ -47,10 +47,15 @@ class EVENTS_EXPORT X11EventSource : public PlatformEventSource { |
private: |
// PlatformEventSource: |
virtual uint32_t DispatchEvent(XEvent* xevent) OVERRIDE; |
+ virtual void StopCurrentEventStream() OVERRIDE; |
// The connection to the X11 server used to receive the events. |
XDisplay* display_; |
+ // Keeps track of whether this source should continue to dispatch all the |
+ // available events. |
+ bool continue_stream_; |
+ |
DISALLOW_COPY_AND_ASSIGN(X11EventSource); |
}; |