Index: third_party/google_input_tools/src/chrome/os/inputview/globalsettings.js |
diff --git a/third_party/google_input_tools/src/chrome/os/inputview/globalsettings.js b/third_party/google_input_tools/src/chrome/os/inputview/globalsettings.js |
index 7dec111c4267955a22e40bd414f2703542691f23..798714f869923b73156d0ddd11a60c01fe4cf48c 100644 |
--- a/third_party/google_input_tools/src/chrome/os/inputview/globalsettings.js |
+++ b/third_party/google_input_tools/src/chrome/os/inputview/globalsettings.js |
@@ -241,3 +241,10 @@ i18n.input.common.GlobalSettings.enableVoice = false; |
*/ |
i18n.input.common.GlobalSettings.enableGlobalEventDelegate = true; |
+ |
+/** |
+ * Whether to adapter in mobile devices. |
+ * |
+ * @type {boolean} |
+ */ |
+i18n.input.common.GlobalSettings.mobile = goog.userAgent.MOBILE; |