fix(android): prevents mid-keystroke desynchronization when deleting selected text

[jahorton]

Fixes #11337.

It turns out that in the middle of updating Android context after a keystroke, we were triggering a selection-change before the batch-edit process was complete - though only if there was selected text. It's not clear why that one branch was left out of the "ignore selection change" mode, but including it is enough to fix the issue.

Refer to #8611 and #8682 for related historical context.

User Testing

TEST_REPRO: Using an up-to-date version of Android, attempt to reproduce the base issue (#11337).

2. Open Keyman In-app.
3. Type a sentence (eg., All things are beautiful)
4. Select the last word 'beautiful'.
5. Press Backspace key to delete that word.
6. Type the text 'ha..' (eg.,happen)

Verify that predictive text operates normally, instead of breaking as it did in #11337.

[keymanapp-test-bot[bot]]

User Test Results

Test specification and instructions

• ✅ TEST_REPRO (PASSED): I've tested this build my phone and the issue appears to be resolved, no problems encountered.

Test Artifacts

• Android
  • Keyman for Android apk
  • FirstVoices for Android 16.0 apk
  • FirstVoices Keyboards for Android apk
  • KeyboardHarness apk
  • Keyman for Android 16.0 apk
  • KMSample1 apk
  • KMSample2 apk

[mcdurdin]

Test Results

• TEST_REPRO (PASS): I've tested this build my phone and the issue appears to be resolved, no problems encountered.

[keyman-server]

Changes in this pull request will be available for download in Keyman version 17.0.320-beta