User Activity

  • Committed [r23932]

    More tight ColorWell icon size, closer to origi...

  • 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

View All

Personal Data

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

Projects

  • Project Logo jEdit jEdit is a programmer's text editor written in Java. Last Updated:

Skills

  • No skills entered.

Personal Tools