| Index: third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h
|
| diff --git a/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h b/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h
|
| index ea412ba606c2ee627a3913f30a50a90791a25800..9f3034ce664d8f7825b13bd73ae7a3e1012087c8 100644
|
| --- a/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h
|
| +++ b/third_party/WebKit/Source/modules/media_controls/elements/MediaControlTimelineElement.h
|
| @@ -27,6 +27,8 @@ class MediaControlTimelineElement final : public MediaControlInputElement {
|
|
|
| void OnPlaying();
|
|
|
| + void OnMediaKeyboardEvent(Event* event) { DefaultEventHandler(event); }
|
| +
|
| private:
|
| void DefaultEventHandler(Event*) override;
|
| bool KeepEventInNode(Event*) override;
|
|
|