| Index: Source/core/frame/Settings.in
|
| diff --git a/Source/core/frame/Settings.in b/Source/core/frame/Settings.in
|
| index e2788b22f3cf32080f4e820831ced86802970069..da6747173667f07e1749daf6f0cd69bc0fffacb1 100644
|
| --- a/Source/core/frame/Settings.in
|
| +++ b/Source/core/frame/Settings.in
|
| @@ -359,3 +359,7 @@ lowPriorityIframes initial=false
|
| reportWheelOverscroll initial=false
|
|
|
| mainResourceOnlyProgress initial=false
|
| +
|
| +# Do we want to try to save screen real estate in the media player by hiding
|
| +# the volume slider / mute button?
|
| +preferHiddenVolumeControls initial=false
|
|
|