| From: Robby Findler (robby at eecs.northwestern.edu) Date: Tue Sep 27 20:29:33 EDT 2011 |
|
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
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}