From: Robby Findler (robby at eecs.northwestern.edu) Date: Thu Aug 5 09:01:50 EDT 2010 |
|
On Thu, Aug 5, 2010 at 7:43 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > I don't have any good workarounds to offer in the current version. > > We're in the process of re-implementing the GUI library. When that's in > place, we should be in a position to improve the second issue, at > least. The current version already lets us do a little bit better (remembering the position of the window from the last time it was moved), no? Robby
Posted on the users mailing list. |
|