BufferTabs plugin

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

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