|
From: <ar...@co...> - 2000-04-20 19:17:47
|
> From: Ian Maclean <Ia...@dp...> > Subject: RE: [ jEdit-users ] jEdit 2.5 > > Does Jedit currently have a full screen mode ? If not that would be useful. > DOn't how difficult that would be with swing though. Knowing almost nothing about the actual code, my first guess would be that it would be pretty trivial to quickly insert the menu and content pane in some maximized Window object instead of a frame, until the Esc key is hit, and then put it back in the frame and make the frame visible. > > Ian > > From: Eduardo Issao Ito <it...@eu...> > Subject: Re: [ jEdit-users ] jEdit 2.5 > > One thing that I find strange in jEdit, is that the buffer operations > (Reload all buffers, Save all buffers, Close all buffers) are not in the > Buffers menu. > As the File menu is big enough, it would be nice to move that operatios > to the Buffers menu, where they make more sense. Yes, I've long wondered why there was a vestigial Buffers menu hanging around...either move stuff into it to discern it from the File menu, or just put the Buffers menu items in the file menu and get rid of the Buffers menu. Aaron > > -- > Eduardo Issao Ito <it...@eu...> > Eurosoft Consultoria Ltda. <http://www.eurosoft.com.br> > Rua Marina Saddi Haidar, 176 > 04650-050 - Sao Paulo - SP - Brasil > Tel: +55 11 5524-8022 > Fax: +55 11 5524-0408 |