Re: [ jEdit-users ] jEdit 4.0pre2 now available

[///o-o\\\\\\ <ja...@ja...>]

> > - i think the file browser should have the *option* to remove the upper
> > directory pane. (like the QuickFile? plugin used to have)
> 
> In 4.0pre3 it will be possible to resize the split pane divider so it
> takes up no space.

i think that would be good, but still believe an option to remove it
entirely would be better.

> > - the file browser takes up alot of vertical space with the new menus above
> > the buttons.
> 
> Would an option to disable the tool bar in the file system browser
> help? All tool bar commands are accessable from the 'Commands'
> menu anyway.

that would definately help.


-- 
________________________
///o-o\\\
Jamie LaScolea