mirror of
https://github.com/keymanapp/keyman.git
synced 2026-10-06 22:17:29 +00:00
4e699ae573
If the main activity was paused, e.g. to open the keyboard picker, then it would lost track of the last known keyboard, which meant that the menu would show details for the wrong keyboard. Add resume logic to refresh last known keyboard and as a side benefit, fix an unreported bug with the text area font getting out of sync in the same way. Also ensure that the keyboard data is updated before the drawer starts to open, to prevent a delayed change to the active keyboard label. As part of this, discovered a re-entrancy issue with KMLog, which would try and collect debug data, which could itself trigger another KMLog call. Did some basic cleanup of that, but more could be done in a future iteration. Noted a number of minor cleanup issues for resolution in v20. The API has some assumptions around logging and use which should be tightened up in a future release: in general, the API should not be logging invalid parameters or state: it should return an error response to the caller, which should be responsible for logging the issue, if it wants to. The Engine should only log if there is something internally inconsistent. Fixes: #16601 |
||
|---|---|---|
| .. | ||
| libs | ||
| src/main | ||
| build.gradle | ||
| lint.xml | ||