mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-25 01:37:42 +00:00
Cherrypick of #13578 to beta Moves responsibility for setting keyboard height preference into `applyKeyboardHeight()` |
||
|---|---|---|
| .. | ||
| libs | ||
| src/main | ||
| build.gradle | ||
| lint.xml | ||