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 would let me control what shows up in the menu is invoked each time the menu is clicked on (or a menu shortcut is typed) and so I believe that touching the filesystem in that situation is unwise, especially since some filesystems can be very very slow when compared to others. Robby On Thu, Aug 25, 2011 at 3:10 AM, Marijn <hk...@gentoo.org> wrote: > -----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----- > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev