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

  • Posted a comment on ticket #3784 on jEdit

    According to my understanding, the original problem cannot come back in Java 7, since...

  • Posted a comment on ticket #3869 on jEdit

    I have tried again with a fresh installation of: Mac OS X 10.9.4 Mavericks jre-7u60...

  • Posted a comment on ticket #3869 on jEdit

    Trying this again after several weeks of vacation, I get UTF-8 as default (also in...

  • Created ticket #528 on jEdit

    Public interface to support docking framework implementations

  • Created ticket #3869 on jEdit

    Mac OS X app: default encoding is US-ASCII

  • Created ticket #3868 on jEdit

    Nimbus: special button layout to big

  • Created ticket #3867 on jEdit

    Nimbus L&F: buffer switcher lacks visual clues

  • Created ticket #3866 on jEdit

    Mac OS X: set-view-title has no effect

View All

Personal Data

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

Projects

  • Project Logo Archive of Formal Proofs A collection of machine-checkend mathematical proofs Last Updated:
  • Project Logo jEdit jEdit is a programmer's text editor written in Java. Last Updated:

Skills

  • No skills entered.

Personal Tools