| 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;
|
|
|