jedit-devel

[ jEdit-devel ] [jedit:plugin-central-submission] #1081 WhiteSpace 1.0.3

[Eric Le L. <ker...@us...>]

WhiteSpace doesn't compile with jEdit 5.6. I always wonder: 05.06.99.00 = 5.6, right?

It uses `SyntaxUtilities.parseColor(String)` but this was introduced in jEdit 5.7.


---

**[plugin-central-submission:#1081] WhiteSpace 1.0.3**

**Status:** open
**Group:** None
**Created:** Tue May 07, 2024 03:04 AM UTC by Alan Ezust
**Last Updated:** Wed May 08, 2024 09:53 PM UTC
**Owner:** nobody


{{{ WhiteSpace 1.0.3
    Source: Source code is in SVN with the tag WhiteSpace-1.0.3
    Announcement: 
    A menu item for showing all whitespaces, patch #3483876 (jsot).
    Updates for jEdit 5.7, and removal of deprecation warnings.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: The main feature of WhiteSpace is to highlight whitespaces
    
    Long Description: The main feature of WhiteSpace is to highlight whitespaces
 }}}


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4123 macOS Jedit cannot find Java engine

[Björn K. <vam...@us...>]

I made quite some changes for the macOS launcher for the upcoming release, fixing various problems, especially on M1 Macs.
Can you maybe give https://www.swisstransfer.com/d/6cdb1106-69c8-4f5a-9530-d0ac42bc3582 a quick try to see whether it works properly now for you two?


---

**[bugs:#4123] macOS Jedit cannot find Java engine**

**Status:** open
**Group:** severe bug
**Created:** Fri Mar 17, 2023 09:04 AM UTC by Rene Vincent Jansen
**Last Updated:** Mon Nov 27, 2023 06:44 PM UTC
**Owner:** nobody


I installed Jedit (latest) from a macOS .dmg on Ventura 13.2.1. It complains it requires a Java 11 or higher; I have Java 19 on the path.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Re: [ jEdit-devel ] weird windows-only problems with textarea extensions

[Alan E. <ala...@gm...>]

Ignore this email. There were various settings I didn't have set up right
yet. Now windows is working like linux for me.


On Wed, May 8, 2024 at 2:43 PM Alan Ezust <ala...@gm...> wrote:

> I'm testing jEdit trunk on linux and windows. java 21 on both systems.
> On linux, WhiteSpace properly displays end of line characters and
> whitespaces.
> on windows, not.
>
> on linux, voxspell works. on windows, not.
>
> Not sure why this is yet, but it might be related to textarea
> extensions... hm.
> Matthieu, any ideas?
>
>
>

[ jEdit-devel ] [jedit:plugin-central-submission] #1081 WhiteSpace 1.0.3

[Alan E. <ez...@us...>]

- **status**: pending --> open
- **Comment**:

ignore previous comment. it works fine on windows too. 



---

**[plugin-central-submission:#1081] WhiteSpace 1.0.3**

**Status:** open
**Group:** None
**Created:** Tue May 07, 2024 03:04 AM UTC by Alan Ezust
**Last Updated:** Wed May 08, 2024 08:15 PM UTC
**Owner:** nobody


{{{ WhiteSpace 1.0.3
    Source: Source code is in SVN with the tag WhiteSpace-1.0.3
    Announcement: 
    A menu item for showing all whitespaces, patch #3483876 (jsot).
    Updates for jEdit 5.7, and removal of deprecation warnings.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: The main feature of WhiteSpace is to highlight whitespaces
    
    Long Description: The main feature of WhiteSpace is to highlight whitespaces
 }}}


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] weird windows-only problems with textarea extensions

[Alan E. <ala...@gm...>]

I'm testing jEdit trunk on linux and windows. java 21 on both systems.
On linux, WhiteSpace properly displays end of line characters and
whitespaces.
on windows, not.

on linux, voxspell works. on windows, not.

Not sure why this is yet, but it might be related to textarea extensions...
hm.
Matthieu, any ideas?

[ jEdit-devel ] [jedit:plugin-central-submission] #1081 WhiteSpace 1.0.3

[Alan E. <ez...@us...>]

- **status**: open --> pending



---

**[plugin-central-submission:#1081] WhiteSpace 1.0.3**

**Status:** pending
**Group:** None
**Created:** Tue May 07, 2024 03:04 AM UTC by Alan Ezust
**Last Updated:** Wed May 08, 2024 08:14 PM UTC
**Owner:** nobody


{{{ WhiteSpace 1.0.3
    Source: Source code is in SVN with the tag WhiteSpace-1.0.3
    Announcement: 
    A menu item for showing all whitespaces, patch #3483876 (jsot).
    Updates for jEdit 5.7, and removal of deprecation warnings.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: The main feature of WhiteSpace is to highlight whitespaces
    
    Long Description: The main feature of WhiteSpace is to highlight whitespaces
 }}}


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:plugin-central-submission] #1081 WhiteSpace 1.0.3

[Alan E. <ez...@us...>]

Actually, this seems to work on Linux but not for me on Windows, and I am not sure why. Does anyone else notice this? Perhaps we should hold off on releasing it until it works on Windows too.



---

**[plugin-central-submission:#1081] WhiteSpace 1.0.3**

**Status:** open
**Group:** None
**Created:** Tue May 07, 2024 03:04 AM UTC by Alan Ezust
**Last Updated:** Tue May 07, 2024 03:04 AM UTC
**Owner:** nobody


{{{ WhiteSpace 1.0.3
    Source: Source code is in SVN with the tag WhiteSpace-1.0.3
    Announcement: 
    A menu item for showing all whitespaces, patch #3483876 (jsot).
    Updates for jEdit 5.7, and removal of deprecation warnings.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: The main feature of WhiteSpace is to highlight whitespaces
    
    Long Description: The main feature of WhiteSpace is to highlight whitespaces
 }}}


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:plugin-central-submission] #1081 WhiteSpace 1.0.3

[Alan E. <ez...@us...>]

---

**[plugin-central-submission:#1081] WhiteSpace 1.0.3**

**Status:** open
**Group:** None
**Created:** Tue May 07, 2024 03:04 AM UTC by Alan Ezust
**Last Updated:** Tue May 07, 2024 03:04 AM UTC
**Owner:** nobody


{{{ WhiteSpace 1.0.3
    Source: Source code is in SVN with the tag WhiteSpace-1.0.3
    Announcement: 
    A menu item for showing all whitespaces, patch #3483876 (jsot).
    Updates for jEdit 5.7, and removal of deprecation warnings.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: The main feature of WhiteSpace is to highlight whitespaces
    
    Long Description: The main feature of WhiteSpace is to highlight whitespaces
 }}}


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:plugin-central-submission] #1080 BufferTabs 1.2.5

[Eric Le L. <ker...@us...>]

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -1,4 +1,3 @@
-
 {{{ BufferTabs 1.2.5
     Source: Source code is in SVN with the tag BufferTabs-1.2.5
     Announcement:     Remove use of some deprecated APIs

~~~~

- **status**: open --> closed-accepted
- **assigned_to**: Eric Le Lay
- **Comment**:

released to plugin central.
Thanks,



---

**[plugin-central-submission:#1080] BufferTabs 1.2.5**

**Status:** closed-accepted
**Group:** None
**Created:** Wed May 01, 2024 07:44 PM UTC by Alan Ezust
**Last Updated:** Wed May 01, 2024 07:44 PM UTC
**Owner:** Eric Le Lay


{{{ BufferTabs 1.2.5
    Source: Source code is in SVN with the tag BufferTabs-1.2.5
    Announcement:     Remove use of some deprecated APIs
            Compatibility with more recent jEdit.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: Show tabs to switch buffers
    
    Long Description: Show tabs to switch buffers
 }}}
 


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] Re: #4134 jEdit becomes unresponsive to key presses

[z/VMphile <zvm...@us...>]

	I think that this is what occasionally locks up my keyboard also.  In my
case, the keyboard becomes unusable in all open applications, so I have to
reboot to recover.

Leslie

Platform: Linux
Distribution: openSUSE Leap 15.4 (x86_64)
openjdk version "21.0.3" 2024-04-16
OpenJDK Runtime Environment (build 21.0.3+9-suse-lp155.51.3-x8664)
OpenJDK 64-Bit Server VM (build 21.0.3+9-suse-lp155.51.3-x8664, mixed mode,
sharing)
jEdit 5.6.0

On 2024-05-02 14:23:16 Damien via jEdit-devel wrote:
> ---
>
> **[bugs:#4134] jEdit becomes unresponsive to key presses**
>
> **Status:** open
> **Group:** severe bug
> **Created:** Thu May 02, 2024 07:23 PM UTC by Damien
> **Last Updated:** Thu May 02, 2024 07:23 PM UTC
> **Owner:** Damien
>
> I've been seeing some strange behavior within jEdit recently while trying
> to use it to work on the LSP plugin. Shortly after beginning work, jEdit
> becomes completely unresponsive to my key presses, and I cannot for the
> life of me figure out why.
>
> - This behavior normally kicks in as a result of opening the
> search-and-replace dialog, though I have seen it with other popups too
> (like Help->About jEdit...). Until I do that, typing works just fine. -
> Mouse interaction within jEdit still works.
> - My keyboard still works outside of jEdit.
> - No plugin appears to be responsible, since I'm able to reproduce it with
> no plugins loaded. - No errors appear in the activity log.
> - I have seen this with both Java 11 and Java 17.
>
> This is tested with jEdit 5.6.0 running on openSUSE Tumbleweed.
>
> Anyone have any tips on how to debug this further? I really have no idea
> what's going on, and it's making jEdit borderline unusable.


---

**[bugs:#4134] jEdit becomes unresponsive to key presses**

**Status:** open
**Group:** severe bug
**Created:** Thu May 02, 2024 07:23 PM UTC by Damien
**Last Updated:** Sat May 04, 2024 01:54 AM UTC
**Owner:** Damien


I've been seeing some strange behavior within jEdit recently while trying to use it to work on the LSP plugin. Shortly after beginning work, jEdit becomes completely unresponsive to my key presses, and I cannot for the life of me figure out why.

- This behavior normally kicks in as a result of opening the search-and-replace dialog, though I have seen it with other popups too (like Help->About jEdit...). Until I do that, typing works just fine.
- Mouse interaction within jEdit still works.
- My keyboard still works outside of jEdit.
- No plugin appears to be responsible, since I'm able to reproduce it with no plugins loaded.
- No errors appear in the activity log.
- I have seen this with both Java 11 and Java 17.

This is tested with jEdit 5.6.0 running on openSUSE Tumbleweed.

Anyone have any tips on how to debug this further? I really have no idea what's going on, and it's making jEdit borderline unusable.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4134 jEdit becomes unresponsive to key presses

[Damien <ko...@us...>]

Well, now that I've reported the problem I can't seem to reproduce it. I will certainly give that a shot if I run into it again, though.


---

**[bugs:#4134] jEdit becomes unresponsive to key presses**

**Status:** open
**Group:** severe bug
**Created:** Thu May 02, 2024 07:23 PM UTC by Damien
**Last Updated:** Fri May 03, 2024 03:01 PM UTC
**Owner:** Damien


I've been seeing some strange behavior within jEdit recently while trying to use it to work on the LSP plugin. Shortly after beginning work, jEdit becomes completely unresponsive to my key presses, and I cannot for the life of me figure out why.

- This behavior normally kicks in as a result of opening the search-and-replace dialog, though I have seen it with other popups too (like Help->About jEdit...). Until I do that, typing works just fine.
- Mouse interaction within jEdit still works.
- My keyboard still works outside of jEdit.
- No plugin appears to be responsible, since I'm able to reproduce it with no plugins loaded.
- No errors appear in the activity log.
- I have seen this with both Java 11 and Java 17.

This is tested with jEdit 5.6.0 running on openSUSE Tumbleweed.

Anyone have any tips on how to debug this further? I really have no idea what's going on, and it's making jEdit borderline unusable.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4134 jEdit becomes unresponsive to key presses

[Alan E. <ez...@us...>]

Does view - scroll and center caret make the problem go away?


---

**[bugs:#4134] jEdit becomes unresponsive to key presses**

**Status:** open
**Group:** severe bug
**Created:** Thu May 02, 2024 07:23 PM UTC by Damien
**Last Updated:** Thu May 02, 2024 07:23 PM UTC
**Owner:** Damien


I've been seeing some strange behavior within jEdit recently while trying to use it to work on the LSP plugin. Shortly after beginning work, jEdit becomes completely unresponsive to my key presses, and I cannot for the life of me figure out why.

- This behavior normally kicks in as a result of opening the search-and-replace dialog, though I have seen it with other popups too (like Help->About jEdit...). Until I do that, typing works just fine.
- Mouse interaction within jEdit still works.
- My keyboard still works outside of jEdit.
- No plugin appears to be responsible, since I'm able to reproduce it with no plugins loaded.
- No errors appear in the activity log.
- I have seen this with both Java 11 and Java 17.

This is tested with jEdit 5.6.0 running on openSUSE Tumbleweed.

Anyone have any tips on how to debug this further? I really have no idea what's going on, and it's making jEdit borderline unusable.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:bugs] #4134 jEdit becomes unresponsive to key presses

[Damien <ko...@us...>]

---

**[bugs:#4134] jEdit becomes unresponsive to key presses**

**Status:** open
**Group:** severe bug
**Created:** Thu May 02, 2024 07:23 PM UTC by Damien
**Last Updated:** Thu May 02, 2024 07:23 PM UTC
**Owner:** Damien


I've been seeing some strange behavior within jEdit recently while trying to use it to work on the LSP plugin. Shortly after beginning work, jEdit becomes completely unresponsive to my key presses, and I cannot for the life of me figure out why.

- This behavior normally kicks in as a result of opening the search-and-replace dialog, though I have seen it with other popups too (like Help->About jEdit...). Until I do that, typing works just fine.
- Mouse interaction within jEdit still works.
- My keyboard still works outside of jEdit.
- No plugin appears to be responsible, since I'm able to reproduce it with no plugins loaded.
- No errors appear in the activity log.
- I have seen this with both Java 11 and Java 17.

This is tested with jEdit 5.6.0 running on openSUSE Tumbleweed.

Anyone have any tips on how to debug this further? I really have no idea what's going on, and it's making jEdit borderline unusable.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:plugin-central-submission] #1080 BufferTabs 1.2.5

[Alan E. <ez...@us...>]

---

**[plugin-central-submission:#1080] BufferTabs 1.2.5**

**Status:** open
**Group:** None
**Created:** Wed May 01, 2024 07:44 PM UTC by Alan Ezust
**Last Updated:** Wed May 01, 2024 07:44 PM UTC
**Owner:** nobody



{{{ BufferTabs 1.2.5
    Source: Source code is in SVN with the tag BufferTabs-1.2.5
    Announcement:     Remove use of some deprecated APIs
            Compatibility with more recent jEdit.
        
    Requires Java 11
    Requires jEdit 05.06.99.00
    
    Short Description: Show tabs to switch buffers
    
    Long Description: Show tabs to switch buffers
 }}}
 


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Re: [ jEdit-devel ] BufferTabs plugin

[Alan E. <ala...@gm...>]

I can build it now too, thanks!
I will changelog, tag and post a release announcement.



On Wed, May 1, 2024 at 6:06 AM Eric Le Lay <ker...@us...>
wrote:

> 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 <ala...@gm...> 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 <ala...@gm...>
> > 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 <
> > > jed...@li...> wrote:
> > >
> > >> Le Wed, 10 Apr 2024 09:04:25 +0200,
> > >> James <gen...@gm...> 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
> > >> jEd...@li...
> > >> https://lists.sourceforge.net/lists/listinfo/jedit-devel
> > >>
> > >
>
>

Re: [ jEdit-devel ] BufferTabs plugin

[Eric Le L. <ker...@us...>]

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 <ala...@gm...> 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 <ala...@gm...>
> 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 <
> > jed...@li...> wrote:
> >  
> >> Le Wed, 10 Apr 2024 09:04:25 +0200,
> >> James <gen...@gm...> 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
> >> jEd...@li...
> >> https://lists.sourceforge.net/lists/listinfo/jedit-devel
> >>  
> >  

Re: [ jEdit-devel ] BufferTabs plugin

[Björn K. <Bj...@ka...>]

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 <ala...@gm...> 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 <ala...@gm...> 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 <
>> jed...@li...> wrote:
>>
>>> Le Wed, 10 Apr 2024 09:04:25 +0200,
>>> James <gen...@gm...> 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
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>>
>> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

Re: [ jEdit-devel ] BufferTabs plugin

[Vampire <Va...@je...>]

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 <ala...@gm...> 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 <ala...@gm...> 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 <
>> jed...@li...> wrote:
>>
>>> Le Wed, 10 Apr 2024 09:04:25 +0200,
>>> James <gen...@gm...> 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
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>>
>> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

Re: [ jEdit-devel ] BufferTabs plugin

[Alan E. <ala...@gm...>]

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 <ala...@gm...> 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 <
> jed...@li...> wrote:
>
>> Le Wed, 10 Apr 2024 09:04:25 +0200,
>> James <gen...@gm...> 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
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>

Re: [ jEdit-devel ] BufferTabs plugin

[Alan E. <ala...@gm...>]

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 <
jed...@li...> wrote:

> Le Wed, 10 Apr 2024 09:04:25 +0200,
> James <gen...@gm...> 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
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

Re: [ jEdit-devel ] BufferTabs plugin

[Eric Le L. <ker...@us...>]

Le Wed, 10 Apr 2024 09:04:25 +0200,
James <gen...@gm...> 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,

Re: [ jEdit-devel ] jEdit 5.7.0 release?

[Vampire <Va...@je...>]

Hey there

The pages are hopefully all up and properly working again now.
I also (hopefully) properly fixed the outstanding macOS issues.
I've given a snapshot build to another mac user who hopefully can give it a
try.
If anyone else with such a new Mac is following here, be welcome to also
test whether it works now properly out-of-the-box:
https://www.swisstransfer.com/d/6cdb1106-69c8-4f5a-9530-d0ac42bc3582.

I'm on vacation for two weeks starting in a few hours.
After I'm back and hopefully got positive feedback, I'll finally create the
release.

Cheers
Björn



Am Di., 26. März 2024 um 03:04 Uhr schrieb Vampire <Va...@je...>:

> Hi there,
>
> just a small status update.
> While I was preparing the release, I stumbled upon that Mac user on the
> users list not able to start jEdit.
> It turned out, this affects all users on such newer Macs with arm
> architecture, so that they are unable to start jEdit.
> Due to that I want to fix that issue before doing the release.
>
> Unfortunately, that user stopped responding mid-investigation when I had
> it half-working for him.
> Fortunately, I now got my hands on such a new Mac and was able to
> reproduce the issue there.
> So I can now finally properly investigate and fix the issue and then kick
> out the release.
>
> Though, I'm right now first fixing our web services, most of which were
> down due to the recent PHP upgrade on SourceForge project web.
> Once I fixed, those, I'll fix the bug, and then roll out the release,
> because with non- or half-working website,
> it is also not too helpful to create a release imho. :-)
>
> Cheers
> Björn
>
> Am 17.10.2023 08:29, schrieb Eric Le Lay via jEdit-devel:
> > Le Fri, 13 Oct 2023 23:09:03 +0200,
> > Vampire <Va...@jE...> a écrit :
> >
> >> @Eric
> >> I see you have committed for it, so is that sufficiently fixed now?
> > Hi,
> > yes, it fixes the issue. We'll remove the version test after we depend
> > on >= java 20.
> > Cheers,
> >
> >
>
>

[ jEdit-devel ] BufferTabs plugin

[James <gen...@gm...>]

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-devel ] [jedit:plugin-central-submission] #1076 LSP

[Damien <ko...@us...>]

No, I haven't been using it as a daily driver lately, though I may run it through its paces more soon.

Out of curiosity, did you have debug mode enabled for jEdit when the activity log filled up your disk? I'm thinking it might be good to have the LSP plugin throttle its own logging when it detects that the log file has reached a certain size.


---

**[plugin-central-submission:#1076] LSP**

**Status:** open
**Group:** None
**Created:** Wed Jun 14, 2023 02:09 AM UTC by Damien
**Last Updated:** Mon Apr 08, 2024 05:24 PM UTC
**Owner:** nobody


**Announcement:** Initial Plugin Central release
**Name:** LSP
**Version:** 0.1

**Requirements:**
    - JDK 11
    - jEdit 5.5.0
    - plugin: ErrorList 2.4.0
    - plugin: SideKick 1.8
    - plugin: ProjectViewer 3.6
    - bundled library: org.eclipse.lsp4j 0.18.0
    - bundled library: org.eclipse.lsp4j.jsonrpc 0.18.0
    - bundled library: org.eclipse.xtext.xbase.lib 2.28.0
    - bundled library: gson 2.9.1
    - bundled library: guava 31.1-jre
    - bundled library: commonmark 0.20.0
    - bundled library: commons-compress 1.23.0

All bundled libraries are downloaded from Maven Central using Ivy.

**Source Code:** https://git.sr.ht/~damien/jedit-lsp/tree/v0.1

**Short Description:** This plugin turns jEdit into a Language Server Protocol (LSP) client, which provides a number of IDE-like features by running and interacting with LSP servers.

**Long Description:**
~~~
<html>
        <p>This plugin turns jEdit into a Language Server Protocol (LSP) client, which provides a number of IDE-like features by running and interacting with LSP servers.</p>
        <p>For more information on the protocol, see: https://microsoft.github.io/language-server-protocol/</p>
        <p>To see a list of available LSP servers, see: https://microsoft.github.io/language-server-protocol/implementors/servers/</p>
        <p>The LSP protocol supports many, many features, and this plugin only implements a tiny subset of them. Support for more can be added easily, limited primarily by time and effort.</p>
</html>
~~~


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

[ jEdit-devel ] [jedit:plugin-central-submission] #1076 LSP

[Eric Le L. <ker...@us...>]

Hi Damien,
the plugin causes trouble with my setup/python lsp: the other day I got a disk full of GBs of activity.log from it!
I had to quickly delete the file so I don't have logs right now but I'm not confident in releasing it as is. What about you? Do you use is daily? Do you feel confident to release it?



---

**[plugin-central-submission:#1076] LSP**

**Status:** open
**Group:** None
**Created:** Wed Jun 14, 2023 02:09 AM UTC by Damien
**Last Updated:** Fri Apr 05, 2024 09:54 PM UTC
**Owner:** nobody


**Announcement:** Initial Plugin Central release
**Name:** LSP
**Version:** 0.1

**Requirements:**
    - JDK 11
    - jEdit 5.5.0
    - plugin: ErrorList 2.4.0
    - plugin: SideKick 1.8
    - plugin: ProjectViewer 3.6
    - bundled library: org.eclipse.lsp4j 0.18.0
    - bundled library: org.eclipse.lsp4j.jsonrpc 0.18.0
    - bundled library: org.eclipse.xtext.xbase.lib 2.28.0
    - bundled library: gson 2.9.1
    - bundled library: guava 31.1-jre
    - bundled library: commonmark 0.20.0
    - bundled library: commons-compress 1.23.0

All bundled libraries are downloaded from Maven Central using Ivy.

**Source Code:** https://git.sr.ht/~damien/jedit-lsp/tree/v0.1

**Short Description:** This plugin turns jEdit into a Language Server Protocol (LSP) client, which provides a number of IDE-like features by running and interacting with LSP servers.

**Long Description:**
~~~
<html>
        <p>This plugin turns jEdit into a Language Server Protocol (LSP) client, which provides a number of IDE-like features by running and interacting with LSP servers.</p>
        <p>For more information on the protocol, see: https://microsoft.github.io/language-server-protocol/</p>
        <p>To see a list of available LSP servers, see: https://microsoft.github.io/language-server-protocol/implementors/servers/</p>
        <p>The LSP protocol supports many, many features, and this plugin only implements a tiny subset of them. Support for more can be added easily, limited primarily by time and effort.</p>
</html>
~~~


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.