User Activity

  • Created ticket #1072 on jEdit

    InputReplace 1.1.0

  • Committed [r25527]

    Tagging the 1.1.0 release of InputReplace

  • Committed [r25526]

    InputReplace plugin: allow setting of minimum replacement length

  • Posted a comment on ticket #1060 on jEdit

    I've added the <property name="docs-proc.target" value="none" /> line to build.xml, as advised. For the second point, I've added a <property name="compiler.userargs" value="-source 7 -target 7"/> line to my build.xml, so that jp.javac preset will pick up those arguments automatically. I think that should do the trick without your having to modify your <javac>.

  • Created ticket #1060 on jEdit

    InputReplace Release 1.0.1

  • Committed [r25382]

    Release InputReplace 1.0.1

  • Committed [r25381]

    Fix bug with U+HHHH replacements

  • Posted a comment on ticket #1588 on HyperSQL Database Engine (HSQLDB)

    The above behavior (and fix) occurs on Oracle Java 1.7.0_261, Zulu OpenJDK 1.8.0_252, and AdoptOpenJDK 14.0.2, all with Windows x64 arch.

View All

Personal Data

Username:
jpavel
Joined:
2001-07-19 07:10:57

Projects

This is a list of open source software projects that Jesse Pavel is associated with:

  • Project Logo jEdit jEdit is a programmer's text editor written in Java. Last Updated:

Personal Tools