(patched) JED is a freely available text editor
Primary LanguageCGNU General Public License v2.0GPL-2.0