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

Side by Side 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 unified diff | Download patch
OLDNEW
1 # Defines properties which are available on the Settings object. 1 # Defines properties which are available on the Settings object.
2 # 2 #
3 # Please think carefully before adding a new Setting. Some questions to 3 # Please think carefully before adding a new Setting. Some questions to
4 # consider are: 4 # consider are:
5 # - Should this be a RuntimeEnabledFeature instead? Settings are for things 5 # - Should this be a RuntimeEnabledFeature instead? Settings are for things
6 # which we support either values of at runtime. Features are set at renderer 6 # which we support either values of at runtime. Features are set at renderer
7 # process startup and are never changed. Features also tend to be set to a 7 # process startup and are never changed. Features also tend to be set to a
8 # value based on the platform or the stability of the code in question, where 8 # value based on the platform or the stability of the code in question, where
9 # as settings both codepaths need to be stable. 9 # as settings both codepaths need to be stable.
10 # - How will you ensure test coverage of all relevant values of your setting? 10 # - How will you ensure test coverage of all relevant values of your setting?
(...skipping 337 matching lines...) Expand 10 before | Expand all | Expand 10 after
348 textTrackFontFamily type=String 348 textTrackFontFamily type=String
349 textTrackFontStyle type=String 349 textTrackFontStyle type=String
350 textTrackFontVariant type=String 350 textTrackFontVariant type=String
351 textTrackTextColor type=String 351 textTrackTextColor type=String
352 textTrackTextShadow type=String 352 textTrackTextShadow type=String
353 textTrackTextSize type=String 353 textTrackTextSize type=String
354 354
355 lowPriorityIframes initial=false 355 lowPriorityIframes initial=false
356 356
357 reportWheelOverscroll initial=false 357 reportWheelOverscroll initial=false
358
359 # Do we want to try to save screen real estate in the media player by hiding
360 # the volume slider / mute button?
361 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.
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698