User Activity

  • Posted a comment on ticket #567 on jEdit

    A more ambitious reform in that corner could probably do away with the special ALT...

  • Posted a comment on ticket #567 on jEdit

    See also https://sourceforge.net/p/jedit/plugin-patches/176 for a patch that is required...

  • Created ticket #567 on jEdit

    Handling of NUMPAD keys

  • Created ticket #176 on jEdit

    Navigator popup key handling

  • Created ticket #566 on jEdit

    Unicode brackets

  • Committed [r24028]

    Proper comment.

  • Committed [r24027]

    Public getLineContext() -- relevant for ambitio...

  • Committed [r24026]

    More convenient saveAllBuffers: show list of af...

View All

Personal Data

Username:
makarius
Joined:
2004-04-24 17:58:00

Projects

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

Skills

  • No skills entered.

Personal Tools