| Index: Source/core/frame/Settings.in
|
| diff --git a/Source/core/frame/Settings.in b/Source/core/frame/Settings.in
|
| index da6747173667f07e1749daf6f0cd69bc0fffacb1..0f820b620c0e103914048fc4306023b2ad9d5616 100644
|
| --- a/Source/core/frame/Settings.in
|
| +++ b/Source/core/frame/Settings.in
|
| @@ -363,3 +363,15 @@ 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
|
| +
|
| +# Controls for resource fetch prioritization.
|
| +# Overall rationale and details here: https://docs.google.com/document/d/1bCDuq9H1ih9iNjgzyAL0gpwNFiEP4TZS-YLRp_RuMlc/edit?usp=sharing
|
| +fetchDeferLateScripts initial=false
|
| +fetchIncreaseFontPriority initial=false
|
| +fetchIncreaseAsyncScriptPriority initial=false
|
| +# Increases the priorities for CSS, Scripts, Fonts and Images all by one level
|
| +# and parser-blocking scripts and visible images by 2.
|
| +# This is used in conjunction with logic on the Chrome side to raise the threshold
|
| +# of "layout-blocking" resources and provide a boost to resources that are needed
|
| +# as soon as possible for something currently on the screen.
|
| +fetchIncreasePriorities initial=false
|
|
|