User Activity

  • Created ticket #1796 on jEdit

    Navigator tool bar buttons lost due to full-screen mode

  • 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

View All

Personal Data

2004-04-24 17:58:00


  • 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:


  • No skills entered.

Personal Tools