Re: BufferTabs plugin

Alan Ezust <[email protected]> Tue, 30 Apr 2024 08:20:09 -0700
Newsgroups gmane.editors.jedit.devel
Message-ID <CALy5K9oo-Nx=48a=WVWz5wYei43PHVPptVceUBe51co7+qY2cg@mail.gmail.com>
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