Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(939)

Unified Diff: Source/core/frame/Settings.in

Issue 1156993013: New media playback UI. (Closed) Base URL: https://chromium.googlesource.com/chromium/blink.git@master
Patch Set: minor decrufting. Created 5 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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
philipj_slow 2015/07/21 12:02:21 An audio element is <audio>, perhaps preferHiddenV
liberato (no reviews please) 2015/07/27 20:26:08 Done.

Powered by Google App Engine
This is Rietveld 408576698