[ jEdit-devel ] [ jedit-Bugs-212475 ] Remove path from favorites

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

Bugs item #212475, was opened at 2000-08-22 06:15
Message generated for change (Comment added) made by nobody
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=212475&group_id=588

Category: virtual file systems
Group: UNUSED
Status: Closed
Resolution: Invalid
Priority: 5
Submitted By: Manfred Usselmann (manfredu)
Assigned to: Slava Pestov (spestov)
Summary: Remove path from favorites

Initial Comment:
It should be possible to remove paths, which are no longer wanted, from the favorites. Currently it is not possible to get rid of old scrap there.

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

Comment By: Nobody/Anonymous (nobody)
Date: 2004-11-19 04:37

Message:
Logged In: NO 

As a matter of fact, it is possible to delete it, once the
file is closed. So this is very minor and I guess deserves a
WONTFIXUNTILNEXTYEARATLEAST.
Thnks a million for the great work Slava.

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

Comment By: Nobody/Anonymous (nobody)
Date: 2004-11-19 04:33

Message:
Logged In: NO 

It is possible to remove a directory, but not a file
inadvertently placed in favorites.

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

Comment By: Slava Pestov (spestov)
Date: 2000-08-22 23:51

Message:
Just right-click on the folder in the favorites list and select 'delete'.

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

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