keymanapp / keymanapp/keyman

feat(android): smoother host-page reset after keyboard updates

Open
#10,097 0 comments 0 reactions 1 assignee Claimed by @darcywong00 View on GitHub
android/ feat
Dominant language
Pascal
Stars
534
Forks
143
Avg merge
2d 10h
Merged PRs (30d)
113

Description

> Per this discovery ([#10017 (comment)](https://github.com/keymanapp/keyman/pull/10017#discussion_r1403832330)) above... what's the right way forward?

I agree that that behaviour of relying on the picker to reload the keyboard for updates can be considered a bug.

If we detect a keyboard update/change, it should be reloaded:
a) when the system keyboard pops up, or
b) when the user switches keyboards

Some flicker is acceptable when a new version of the keyboard is installed, in either of those situations. It's just a once-off after all.

Ideally we'd also toast the new keyboard version information but that's a separate project.

_Originally posted by @mcdurdin in https://github.com/keymanapp/keyman/issues/10017#issuecomment-1830868890_

To keep things moving re #10017, we just dropped in a line to force-update the host page _immediately_ when an update completes. It's obviously not the smoothest, but it's a one-time thing per update and lets us move forward for now.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.