jEdit / Plugin Central Submission / #988 Javassist 3.20

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

#988 Javassist 3.20

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2015-10-28

Created: 2015-09-14

Creator: Dale Anson

Private: No

{{{ JavassistPlugin 3.20
Source: Source code is in SVN with the tag 3.20
Announcement: Initial release. This is a library plugin that provides Javassist, plus
a java agent that can eliminate the annoying beep emitted by a variety of components
and plugins.
Requires Java 1.7.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/

}}}

Note: the java agent mentioned above that eliminates the annoying beep won't work until at least jEdit version 5.4.

Discussion

Townsfolk - 2015-10-28

Released to PC

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

Townsfolk - 2015-10-28

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:

Javassist 3.20

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

Group

Searches

Help

#988 Javassist 3.20

Discussion