diff options
author | 2014-12-05 07:33:19 +0000 | |
---|---|---|
committer | 2014-12-05 07:33:19 +0000 | |
commit | a25169bc3701d3f2ddec128f8234197392568d8e (patch) | |
tree | b34ddd6909a5708aa6a29be6b6bd63d935d27f80 /java/src/com/android/inputmethod/latin/settings/DebugSettings.java | |
parent | 433248ecf1146f3eff7aa2f84137f2b436e40b6d (diff) | |
parent | 8584db1461d286f8eb966c40eb0bc76e8c9df76a (diff) | |
download | latinime-a25169bc3701d3f2ddec128f8234197392568d8e.tar.gz latinime-a25169bc3701d3f2ddec128f8234197392568d8e.tar.xz latinime-a25169bc3701d3f2ddec128f8234197392568d8e.zip |
am 8584db14: Add keyboard margin options to place the keyboard dynamically.
* commit '8584db1461d286f8eb966c40eb0bc76e8c9df76a':
Add keyboard margin options to place the keyboard dynamically.
Diffstat (limited to 'java/src/com/android/inputmethod/latin/settings/DebugSettings.java')
-rw-r--r-- | java/src/com/android/inputmethod/latin/settings/DebugSettings.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/java/src/com/android/inputmethod/latin/settings/DebugSettings.java b/java/src/com/android/inputmethod/latin/settings/DebugSettings.java index 6fffb8e9d..eff7bde5d 100644 --- a/java/src/com/android/inputmethod/latin/settings/DebugSettings.java +++ b/java/src/com/android/inputmethod/latin/settings/DebugSettings.java @@ -31,6 +31,9 @@ public final class DebugSettings { "pref_has_custom_key_preview_animation_params"; public static final String PREF_RESIZE_KEYBOARD = "pref_resize_keyboard"; public static final String PREF_KEYBOARD_HEIGHT_SCALE = "pref_keyboard_height_scale"; + public static final String PREF_KEYBOARD_BOTTOM_MARGIN = "pref_keyboard_bottom_margin"; + public static final String PREF_KEYBOARD_LEFT_MARGIN = "pref_keyboard_left_margin"; + public static final String PREF_KEYBOARD_RIGHT_MARGIN = "pref_keyboard_right_margin"; public static final String PREF_KEY_PREVIEW_DISMISS_DURATION = "pref_key_preview_dismiss_duration"; public static final String PREF_KEY_PREVIEW_DISMISS_END_X_SCALE = |