Re: BufferTabs plugin

Don't worry, I can build it using java 11 (tested right now).
Maybe add a changelog entry before tagging?
Cheers,

Le Tue, 30 Apr 2024 08:20:09 -0700,
Alan Ezust <[email protected]> a écrit :

> Forgot to mention:
> [ezust@cerberus] /home/ezust/workspace/jedit/plugins/BufferTabs> ant
> -version
> Apache Ant(TM) version 1.10.13 compiled on July 4 2023
> [ezust@cerberus] /home/ezust> java -version
> openjdk version "20.0.2" 2023-07-18
> OpenJDK Runtime Environment (build 20.0.2+9-Ubuntu-0ubuntu123.04)
> OpenJDK 64-Bit Server VM (build 20.0.2+9-Ubuntu-0ubuntu123.04, mixed
> mode, sh
> aring)
> 
> 
> 
> 
> 
> On Tue, Apr 30, 2024 at 8:07 AM Alan Ezust <[email protected]>
> wrote:
> 
> > I just tried to build it from source but it is failing due to a
> > step in the build-support:
> > BUILD FAILED
> > /home/ezust/workspace/jedit/plugins/BufferTabs/build.xml:15: The
> > following error occurred while executing t
> > his line:
> > /home/ezust/workspace/jedit/build-support/plugin-build.xml:61:
> > Unable to create javax script engine for jav
> > ascript
> >
> >
> >
> >
> > On Sat, Apr 27, 2024 at 2:02 PM Eric Le Lay via jEdit-devel <
> > [email protected]> wrote:
> >  
> >> 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
> >>  
> >  



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