Re: [DrJava] Menu / Toolbar organization

[Brian S. <bs...@bs...>]

Also: "Edit" needs to be reorganized and some of its contents split off
into another menu. I'm not sure what exactly to put there or what to call
it, though.

-brian