| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Apr 23 22:48:19 EDT 2003 |
|
At Tue, 22 Apr 2003 21:56:33 +0200, Katsmall the Wise wrote: > Paul Steckler said it happened to him too on windows, thus I believe it > may be a windows bug. Yes. The problem was a spurious on-demand menu callback under Windows, now fixed. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}