mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-18 22:37:43 +00:00
Fixes #11194. If the last-used project file no longer exists (e.g. has been renamed), then Keyman Developer would crash as it did not test that the file had been loaded successfully before attempting to reference it. |
||
|---|---|---|
| .. | ||
| config | ||
| docs/api/etc | ||
| src | ||
| .gitignore | ||
| build.sh | ||