mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-12 03:45:34 +00:00
Fixes #7851. Note that this fixes the selection pop issue with duplicate ids in some scenarios but not all. For example, the undo stack doesn't have enough detail at this point to be able to track this. This fix addresses the most egregious issue relating to key size adjustment and similar. |
||
|---|---|---|
| .. | ||
| src | ||
| .gitignore | ||
| build.sh | ||