mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-07 17:36:00 +00:00
The keyboard editor has a complex edit state machine, which has grown a lot over time. This is a minimal patch to address one specific edge case scenario on that state machine, without any attempt to improve the state machine overall. The biggest change here is bubbling failure up to the main form so that it can destroy (aka Release, which is an asynchronous destroy) the editor window if it fails to load completely. Fixes: #11715 Fixes: KEYMAN-DEVELOPER-1JC |
||
|---|---|---|
| .. | ||
| config | ||
| docs/api/etc | ||
| src | ||
| .gitignore | ||
| build.sh | ||