I'll push something shortly that removes items from the list when you
select them and they don't exist.
The current problem with removing them automatically has to do with
the way the gui layer's callbacks work (or worked if things have
changed on this detail..). In particular, the callback that w
-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
2 matches
Mail list logo
