User Activity

  • Posted a comment on ticket #575 on jEdit

    I didn't notice that adding HASH_CHAR to the rule that highlights lifetimes broke...

  • Created ticket #575 on jEdit

    Rust edit mode raw string fix

  • Posted a comment on ticket #3907 on jEdit

    I am pretty sure this is a bug in Java, not jEdit. The macro uses Calendar.getInstance()...

  • Created ticket #556 on jEdit

    Rust edit mode fixes

  • Created ticket #553 on jEdit

    Rust edit mode

  • Created ticket #521 on jEdit

    Focus the text area when scroll bar is clicked

  • Created ticket #520 on jEdit

    Selecting line from gutter should move caret

View All

Personal Data

Username:
jminer7
Joined:
2014-03-29 23:39:37

Projects

  • No projects to display.

Personal Tools