Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

User Activity

  • 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

  • Committed [r23626]

    Fix a bug preventing from removing an unloaded ...

  • Created ticket #3877 on jEdit

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

View All

Personal Data

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

Projects

Skills

  • No skills entered.

Personal Tools