Change padding and height radio for keyboard am: 3537df9211 am: e0b0f75578 am: 6887c3046f

Original change: https://googleplex-android-review.googlesource.com/c/device/google/pantah/+/18614371

Change-Id: Ib96aafc380ecb7173f7c0891b177d6219e750a6e
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
This commit is contained in:
Cyan_Hsieh 2022-05-31 12:01:02 +00:00 committed by Automerger Merge Worker
commit 65b3323eed
2 changed files with 12 additions and 0 deletions

View file

@ -284,3 +284,10 @@ else
PRODUCT_PRODUCT_PROPERTIES += \
persist.bluetooth.bqr.event_mask=94
endif
# Keyboard bottom and side padding in dp for portrait mode and height ratio
PRODUCT_PRODUCT_PROPERTIES += \
ro.com.google.ime.kb_pad_port_b=8 \
ro.com.google.ime.kb_pad_port_l=11 \
ro.com.google.ime.kb_pad_port_r=11 \
ro.com.google.ime.height_ratio=1.025

View file

@ -271,3 +271,8 @@ else
PRODUCT_PRODUCT_PROPERTIES += \
persist.bluetooth.bqr.event_mask=94
endif
# Keyboard bottom padding in dp for portrait mode and height ratio
PRODUCT_PRODUCT_PROPERTIES += \
ro.com.google.ime.kb_pad_port_b=8 \
ro.com.google.ime.height_ratio=1.075