1. 2023-06-19 [4] [ jEdit-devel ] [jedit:feature-requests] #553 jEdit should jedit-devel whydo pplstillus 2. 2023-06-14 [1] [ jEdit-devel ] [jedit:plugin-central-submission] #1076 LS jedit-devel Damien via jEdit 3. 2023-06-04 [2] [ jEdit-devel ] [jedit:bugs] #4125 Delete at the end of th jedit-devel Dale Anson via j 4. 2023-06-04 [1] [ jEdit-devel ] No javascript for the build.xml jedit-devel Dale Anson 5. 2023-06-02 [3] Re: [ jEdit-devel ] deleting next newline character in jav jedit-devel Dale Anson