Re: BufferTabs plugin

Le Wed, 10 Apr 2024 09:04:25 +0200,
James <[email protected]> a écrit :

> Hi
> 
> I see that we need to use BufferTabs v1.2.5 with the latest
> (unreleased) version of jEdit, but only version 1.2.4 is available in
> the plugin manager.
> 
> Am I missing something regarding the version availability? Or do we
> have to wait for the official release of jEdit to get the newest
> BufferTabs added to the plugin repo?
> 
> I've compiled my own copy for now, but thought I'd ask anyway.
> 
> thanks
> James

Hi,
maybe Matthieu or Alan will tag a version shortly and open a ticket?
It is already compatible with jEdit 5.6.0 so could be released before
jEdit...
Cheers,


-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel