| 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. |
|
![[logo]](/logo.png){kind=logo}