User Activity

  • Posted a comment on ticket #4150 on jEdit

    Thanks for the information. Is there already a plan for when 5.8 will be the new stable version?

  • Created ticket #4150 on jEdit

    jEdit 5.7: Bug in "Global Options - Encodings Pane - line separator characte"-Dialog

View All

Personal Data

Username:
andreaswagner
Joined:
2026-06-19 11:00:11.782000

Projects

  • No projects to display.

Personal Tools

Auth0 Logo