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