jEdit 5.1.0 Monday, 2 February, 2015 A mature programmer's text editor expandable with tons of plugins. Read more |
![]() |
This work is licensed under a Creative Commons Attribution 4.0 International License(link is external).