| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Dec 1 15:40:38 EST 2010 |
|
Can you try the latest build? It's v5.0.99.4 at http://pre.plt-scheme.org/installers/ I'm optimistic that this version will solve both the preference-panel problem and the command-key problem that you're seeing.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}