Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo


User Activity

  • Created ticket #3919 on jEdit

    jEdit.initPLAF does not re-init Metal after change of properties

  • Committed [r23929]

    Scalable GUI -- avoid hard-wired font.

  • Committed [r23928]

    More generous hard-wired (!) component size to ...

  • Committed [r23927]

    Scalable ColorWell icon according to UI font --...

  • Committed [r23926]

    Proper font scaling according to UI defaults, j...

  • Created ticket #563 on jEdit

    Proper row height default for JTable subclass

  • Created ticket #562 on jEdit

    Proper row height default for JTree subclasses

  • Posted a comment on ticket #559 on jEdit

    I am confused by the status of this: version 23922 on trunk only changes CHANGES.txt...

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