| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Sat Feb 26 11:33:05 EST 2011 |
|
When I use drracket, I frequently get a warning that my file has been modified on disk and the question of whether I want to save the file or revert. Is anyone else suffering from this problem?
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}