| From: Paul Schlie (schlie at comcast.net) Date: Wed Feb 2 13:48:48 EST 2005 |
|
> Robby wrote: > > Maybe I should add that menu to the main drscheme window, too? Possibly, although suspect it's arguably a bit redundant, and otherwise consume space which may be better left for possibly more contextual items.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}