| From: Sergey Lovtsov (gresvol at gmail.com) Date: Wed Aug 20 10:31:58 EDT 2008 |
|
Thank you for your help! I have fix the problem, it seems that something was wrong with plt-prefs.ss file. I've deleted it and, after that, DrScheme has created new plt-prefs.ss with default preferences. So, everything is ok now. I don't know what caused this problem, the only thing i've changed in DrScheme is the font.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}