User Activity

  • Posted a comment on ticket #4120 on jEdit

    The bug is real. In fact, the shortcuts are based on the first keyboard layout configuration in the system settings and the editor is based on the selected current one, so there is an issue when there are more than one keyboad layout.

View All

Personal Data

Username:
daniel2022
Joined:
2022-09-27 17:10:32.828000

Projects

  • No projects to display.

Personal Tools

auth0 logo