[ jEdit-devel ] [Bug #123763] BufferList doesn't work with non-local buffers

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

Bug #123763, was updated on 2000-Nov-28 18:48
Here is a current snapshot of the bug.

Project: jEdit
Category: plugins
Status: Open
Resolution: None
Bug Group: normal bug
Priority: 6
Summary: BufferList doesn't work with non-local buffers

Details: BufferList assumes that Buffer.getFile() returns non-null, which is not the case for FTP buffers. The correct way to obtain the parent directory of a buffer is to call buffer.getVFS().getParentOfPath(buffer.getPath()).

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=123763&group_id=588