Fix key duplication on Android with physical keyboards

[nya3jp]

This is a fix for #5438.

When typing rapidly on Android with physical keyboards, characters often duplicate on the terminal. This is because physical keyboard events always go through IME on Android, even for plain English characters, and rapid typing causes a race condition in the composition helper.

This patch fixes the issue by making sure textarea changes are handled correctly.