User Activity

  • Posted a comment on ticket #525 on jEdit

    I'm confused. The attached patch does not contain a line that calls list.setFocusTraversalKeysEnabled(false)...

  • Modified ticket #333 on jEdit

    Navigator: Store location by line + offset in line rather than offset in file

  • Modified ticket #533 on jEdit

    HTML/XHTML DTD and JavaScript-Syntaxhighlighting

  • Posted a comment on ticket #533 on jEdit

    This is such an old submission, Robert, would you mind creating a diff based against...

  • Posted a comment on ticket #533 on jEdit

    This is such an old submission, Robert, would you mind creating a diff based against...

  • Posted a comment on ticket #533 on jEdit

    Ticket moved from /p/jedit/plugin-bugs/501/

  • Modified ticket #501 on jEdit

    HTML/XHTML DTD and JavaScript-Syntaxhighlighting

  • Modified ticket #1646 on jEdit

    EditorConfig do not unload

View All

Personal Data

Username:
ezust
Joined:
2003-12-22 00:30:07
Location:
Victoria / Canada / PDT
Gender:
Male

Projects

  • Project Logo PMD   Last Updated:
  • Project Logo PythonQt   Last Updated:
  • Project Logo jEdit jEdit is a programmer's text editor written in Java. Last Updated:
  • Project Logo jEdit Plugin Central   Last Updated:
  • Project Logo jpydbg   Last Updated:

Skills

  • No skills entered.

Personal Tools