mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-05 16:35:33 +00:00
fix(android): address keyboard height vs touch height race after keyboard height preference change (also min max heights + docs) |
||
|---|---|---|
| .. | ||
| libs | ||
| src/main | ||
| build.gradle | ||
| lint.xml | ||