Re: [ jEdit-devel ] BufferList and JBrowse plugins

[Dirk M. <dmo...@gm...>]

> BufferList should call the buffer.getIcon() method, instead of loading
> the icons from resources directly.

Thanks, fixed.

Dirk.