[ jEdit-devel ] [ jedit-Bugs-432545 ] Unable to turn off file browser icons

[<no...@so...>]

Bugs item #432545, was updated on 2001-06-12 14:28
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=432545&group_id=588

Category: None
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Marcin Orlowski (carl-os)
Assigned to: Nobody/Anonymous (nobody)
Summary: Unable to turn off file browser icons

Initial Comment:
Although I know this is not the real bug, I consider it
that way. I badly lack a way to turn the file browser
icons off. I mean those icons next to dir/file name
that appears in the tree. Without them the whole list
would be more compact and more items woudl fit in the
view. I doubt user of jedit are that stupid to not
being able to differ dir from file w/o extra icon ;)

----------------------------------------------------------------------

>Comment By: Slava Pestov (spestov)
Date: 2001-06-13 03:48

Message:
Logged In: YES 
user_id=2280

this will be implemented in 3.2pre4.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=432545&group_id=588