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