[racket-dev] non-existing files in drRacket recent file list

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

in drRacket when doing File -> Open Recent and selecting a non-existing
file (because it was deleted), there is an error message stating this,
but the file remains in the list. This might be good in case the file
was accidentally removed, but for me in most cases I'd prefer for the
file to disappear from the list. Alternatively the list could be checked
for no-longer-existing files on startup or when opening it from the menu.

What do you think?

Marijn
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5WA2kACgkQp/VmCx0OL2zQTwCeMaYcw8ZBK5svveJTfl0HEqA2
GcUAnjpQEcWkjgAgBCq/4BUR8fS6zss0
=OFpe
-----END PGP SIGNATURE-----