| Index: Source/core/frame/Settings.in
|
| diff --git a/Source/core/frame/Settings.in b/Source/core/frame/Settings.in
|
| index b7d16f24b280cd4eb2dadfda01c8f7a5af9c96c0..de841ca1303e2c2c631d6fe2b7268861ab538e6f 100644
|
| --- a/Source/core/frame/Settings.in
|
| +++ b/Source/core/frame/Settings.in
|
| @@ -355,3 +355,7 @@ textTrackTextSize type=String
|
| lowPriorityIframes initial=false
|
|
|
| reportWheelOverscroll initial=false
|
| +
|
| +# Do we want to try to save screen real estate in the media player by hiding
|
| +# the volume slider / mute button?
|
| +preferHiddenAudioElements initial=false
|
|
|