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

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

Change-Id: I30b4a89bcef620429391b543d64adb8e1de17fbe
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:44:55 +00:00 committed by Automerger Merge Worker
commit 6887c3046f
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