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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Aug 25 13:10:40 EDT 2011

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.


On Thu, Aug 25, 2011 at 3:10 AM, Marijn <hkBst at gentoo.org> wrote:
> 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
> Version: GnuPG v2.0.17 (GNU/Linux)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
> GcUAnjpQEcWkjgAgBCq/4BUR8fS6zss0
> =OFpe
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev

Posted on the dev mailing list.