spiegel-keyman/developer
Marc Durdin d2e1a41d06 fix(developer): remove missing files from MRU list
Fixes #7808.

If a project is moved, then the MRU, which has absolute path names, will
probably have references to files that don't exist. Rather than leave
these in the list, to be opened and potentially recreated in the wrong
place, we should just remove them entirely.
2022-11-26 07:31:16 +07:00
..
src fix(developer): remove missing files from MRU list 2022-11-26 07:31:16 +07:00
.gitignore chore(developer): move server with no changes 2022-05-23 12:15:34 +10:00