GitHub.GG
Explore
Features
Pricing
Docs
Star
Toggle menu
jEdit
Public
A mature programmer's text editor
Code
Star
17
Fork
21
Watch
17
Code
Diagram
Issues
Pull Requests
Actions
Security
Insights
Settings
Issues
New Issue
Open
Closed
All
All Issues
No issues found