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

Close

User Activity

  • Created ticket #171 on jEdit

    Highlight: support negative line spacing

  • Created ticket #549 on jEdit

    More default font sizes

  • Modified ticket #1800 on jEdit

    Sidekick popup menu problems

  • Modified a comment on ticket #1800 on jEdit

    Here is a test file (for LaTeX Tools plugin) and a screenshot: the mouse was over...

  • Posted a comment on ticket #1800 on jEdit

    Here is a test file (for LaTeX Tools plugin) and a screenshot: the mouse was over...

  • Modified ticket #3864 on jEdit

    Mac OS X L&F: no cursor keys for buffer switcher

  • Modified ticket #3867 on jEdit

    Nimbus L&F: buffer switcher lacks visual clues

  • Modified ticket #3868 on jEdit

    Nimbus: special button layout to big

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