| Index: third_party/WebKit/public/public_features.gni
|
| diff --git a/third_party/WebKit/public/public_features.gni b/third_party/WebKit/public/public_features.gni
|
| index 2eb71d3437aed68710544ef86bf7f3c38d7b6bb9..51bc577d53834d977eaf31b64e58e4b2d7d99b87 100644
|
| --- a/third_party/WebKit/public/public_features.gni
|
| +++ b/third_party/WebKit/public/public_features.gni
|
| @@ -2,6 +2,8 @@
|
| # Use of this source code is governed by a BSD-style license that can be
|
| # found in the LICENSE file.
|
|
|
| +import("//build/config/ui.gni")
|
| +
|
| declare_args() {
|
| # If debug_devtools is set to true, JavaScript files for DevTools are stored
|
| # as is and loaded from disk. Otherwise, a concatenated file is stored in
|
| @@ -10,5 +12,7 @@ declare_args() {
|
| debug_devtools = false
|
| }
|
|
|
| +use_default_render_theme = use_aura && !is_android
|
| +
|
| # Use Minikin hyphenation engine.
|
| use_minikin_hyphenation = is_android
|
|
|