Re: [ jEdit-users ] new buffer tabs colors?

[Chris P. <li...@fo...>]

> > So I take it that the colors are set to match the file browser file-type
> > colors?
> Somebody once hacked the buffertabs plugin to do just that, maybe
> someone still has it on his HD ?

The newest buffer tabs plugin does just that.  I was merely asking for
confirmation about where the color choices come from.

-Chris