| Index: ui/events/device_data_manager.h
|
| diff --git a/ui/events/device_data_manager.h b/ui/events/device_data_manager.h
|
| index 54c139b1302b021e22fe7496900d965b336e8a4c..87e3bd46a1e320c5dd5dfbb326bff0a47e3d27ea 100644
|
| --- a/ui/events/device_data_manager.h
|
| +++ b/ui/events/device_data_manager.h
|
| @@ -24,7 +24,7 @@ class InputDeviceEventObserver;
|
| // Keeps track of device mappings and event transformations.
|
| class EVENTS_BASE_EXPORT DeviceDataManager : public DeviceHotplugEventObserver {
|
| public:
|
| - virtual ~DeviceDataManager();
|
| + ~DeviceDataManager() override;
|
|
|
| static void CreateInstance();
|
| static DeviceDataManager* GetInstance();
|
| @@ -60,7 +60,7 @@ class EVENTS_BASE_EXPORT DeviceDataManager : public DeviceHotplugEventObserver {
|
| bool IsTouchDeviceIdValid(int touch_device_id) const;
|
|
|
| // DeviceHotplugEventObserver:
|
| - virtual void OnTouchscreenDevicesUpdated(
|
| + void OnTouchscreenDevicesUpdated(
|
| const std::vector<TouchscreenDevice>& devices) override;
|
|
|
| double touch_radius_scale_map_[kMaxDeviceNum];
|
|
|