[plt-dev] total preference loss
I think the preference system is supposed to prevent such races, but
there is a revert to defaults button in the preferences dialog. I
don't suppose that got clicked accidentally?
Robby
On Wed, Jun 2, 2010 at 11:31 AM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> Just now, I tried editing some of my preferences, and they all
> basically disappeared. For example, I no longer have any recent
> files, and DrRacket warns me about quitting. I've been running
> several different versions of DrRacket, so that may have contributed
> to the problem.
>
> --
> sam th
> samth at ccs.neu.edu
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-dev
>
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev