User Activity

  • Posted a comment on ticket #3937 on jEdit

    The initial problem is fixed, thanks -- but there's another issue with removeNonCapturingGroups()....

  • Modified ticket #3937 on jEdit

    Search with Non-Capturing Regexps and Literal Parents Breaks in 5.3

  • Created ticket #3937 on jEdit

    Search with Non-Capturing Regexps and Literal Parents Breaks in 5.3

  • Posted a comment on ticket #3935 on jEdit

    Looks like it was built with Java 8 class file version. Here's the exception when...

  • Created ticket #572 on jEdit

    Patch for bug #3913 (beanshell do-while loop bug)

  • Posted a comment on ticket #46 on jEdit

    Ah, I figured out what the issue is: My .exe wrapper was configured to use "only...

  • Created ticket #46 on jEdit

    jEdit EXE Launcher Doesn't Support Input Methods

View All

Personal Data

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

Projects

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

Skills

  • No skills entered.

Personal Tools

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks