From: Matthew Flatt (mflatt at cs.utah.edu) Date: Thu Jul 21 17:54:17 EDT 2005 |
|
I've just found and fixed a general problem with GUI controls and Unicode labels under Windows. (By "Unicode labels", I really mean "labels with characters that are not in your default character set", or something like that.) Please report new/continued problems in 299.108. Thanks, Matthew
Posted on the users mailing list. |
|