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 |