User Activity

  • Posted a comment on ticket #3877

    Are you sure the commit was in your version ? Maybe I missed a case, can you reproduce...

  • Committed [r23635]

    use of java 7 syntax

  • Created ticket #198 on jEdit

    Splashscreen cannot be hidden

  • Created ticket #197 on jEdit

    Fix for plugins that cannot be removed

  • Committed [r23634]

    removed unused methods

  • Committed [r23627]

    use java7 syntax

  • Modified ticket #3877 on jEdit

    If a plugin is unloaded, it is impossible to remove it

  • Posted a comment on ticket #3877 on jEdit

    Fixed in rev 23626

View All

Personal Data

Username:
kpouer
Joined:
2001-07-31 11:43:30

Projects

Skills

  • No skills entered.

Personal Tools