jEdit / Plugin Central Submission / #1046 Javassist 3.25

jEdit is a programmer's text editor written in Java.

#1046 Javassist 3.25

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2019-09-08

Created: 2019-07-19

Creator: Dale Anson

Private: No

{{{ JavassistPlugin 3.25
Source: Source code is in SVN with the tag 3.25
Announcement: Updated javassist library so the turning off the system beep works on Java 11.
Requires Java 1.8.0
Requires jEdit 05.02.01.00

Short Description: A dependency plugin for the Javassist library. (https://jboss-javassist.github.io/javassist/)

Long Description: <html>

This plugin is a library plugin providing Javassist, a java byte code toolkit. https://jboss-javassist.github.io/javassist/

The best part is it can turn off the annoying system beep!

}}}

Discussion

Townsfolk - 2019-09-08

status: open --> closed-accepted

assigned_to: Townsfolk
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Townsfolk - 2019-09-08

released to pc

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Javassist 3.25

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#1046 Javassist 3.25

Discussion