| Index: Source/core/html/shadow/MediaControls.cpp
|
| diff --git a/Source/core/html/shadow/MediaControls.cpp b/Source/core/html/shadow/MediaControls.cpp
|
| index dac9850f4023345e50f241bf45999f5dc2adcf34..da3fb991abea6dac6576216dd552f5a827e9e7d4 100644
|
| --- a/Source/core/html/shadow/MediaControls.cpp
|
| +++ b/Source/core/html/shadow/MediaControls.cpp
|
| @@ -36,6 +36,8 @@
|
|
|
| namespace WebCore {
|
|
|
| +// If you change this value, then also update the corresponding value in
|
| +// LayoutTests/media/media-controls.js.
|
| static const double timeWithoutMouseMovementBeforeHidingMediaControls = 3;
|
|
|
| MediaControls::MediaControls(HTMLMediaElement& mediaElement)
|
|
|