User Activity

  • Posted a comment on ticket #1935 on jEdit

    Are there any news about a fix for this? I have the same problem iwth jedit 5.7.0 and Java 11.0.2 on windows

View All

Personal Data

Username:
ingvis
Joined:
2025-03-04 13:57:10.316000

Projects

  • No projects to display.

Personal Tools