Re: BufferTabs plugin

Seems like you need to use at most Java 14 to build as with Java 15 the
JavaScript engine is no longer included.

Cheers
Björn

Alan Ezust <[email protected]> schrieb am Di., 30. Apr. 2024, 18:21:

> 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
>

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