The keyman app for Android behaves as expected in most apps, WhatsApp, PTLite, Messages, etc., but when I try to type in gmail with the Keyman app, the rota-based keyboard unexpectedly deletes characters previous to the current character.
Here is a sample of the code:
'p' + 'p' > 'ṗ' 'ṗ' + 'p' > 'p̂' 'p̂' + 'p' > 'p̂p̂' 'p̂p̂' + 'p' > 'p'
It removes the letter to the left of the cursor on the third step. The fourth step is even worse! It moves it back one character.
Keyman version: 12.0.4204, gmail 2019.09.15.x, Android 8.1.0