User Activity

  • Posted a comment on ticket #3588 on jEdit

    Hi, can someone close this bug ticket? It looks fixed since the november daily versions...

  • Posted a comment on ticket #3588 on jEdit

    Great, Vampire corrected bug 2). Now only the caret artefacts from 1) remain in this...

  • Created ticket #3876 on jEdit

    Splash screen in v5.3 can't be turned off

View All

Personal Data

Username:
tvojeho
Joined:
2008-09-18 11:46:55

Projects

  • No projects to display.

Skills

  • No skills entered.

Personal Tools