From: Robby Findler (robby at cs.uchicago.edu) Date: Fri Jan 23 11:28:50 EST 2004 |
|
At Fri, 23 Jan 2004 09:25:13 -0700, Matthew Flatt wrote: > > A tabbed window with multiple files open would also be nice... > > Actually, GUI support already exists for this in MrEd. This is something I've hoped to find time for, for several weeks now.... any day now... Robby
Posted on the users mailing list. |
|