jEdit is a mature programmer's text editor with hundreds (counting the time developing plugins) of person-years of development behind it.
Availability
Managed Windows computers via WPKG.
Licence Details
GPL 2.0
Documentation
Source