Change padding and height radio for keyboard am: 3537df9211

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

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

View file

@ -285,3 +285,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

@ -272,3 +272,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