| 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 206ca5a13807620ca27a2fab5dede97288a330fc..6501eb780ba9fc4aa5d04f8b271b4cf3cdbb708f 100644
|
| --- a/ui/events/platform/x11/x11_event_source.h
|
| +++ b/ui/events/platform/x11/x11_event_source.h
|
| @@ -24,7 +24,7 @@ class HotplugEventHandlerX11;
|
| class EVENTS_EXPORT X11EventSource : public PlatformEventSource {
|
| public:
|
| explicit X11EventSource(XDisplay* display);
|
| - virtual ~X11EventSource();
|
| + ~X11EventSource() override;
|
|
|
| static X11EventSource* GetInstance();
|
|
|
| @@ -48,8 +48,8 @@ class EVENTS_EXPORT X11EventSource : public PlatformEventSource {
|
|
|
| private:
|
| // PlatformEventSource:
|
| - virtual uint32_t DispatchEvent(XEvent* xevent) override;
|
| - virtual void StopCurrentEventStream() override;
|
| + uint32_t DispatchEvent(XEvent* xevent) override;
|
| + void StopCurrentEventStream() override;
|
|
|
| // The connection to the X11 server used to receive the events.
|
| XDisplay* display_;
|
|
|