Should I change DrRacket's bug report window so it includes the user's preferences file? It would have been helpful in more than a few bugs now but I'm not sure if it would bother people to have it put in there.
Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
