jEdit – Editor für Programmierer
(quelloffen, Version 5.3.0 unter Linux Mint 18) 
Das Programm jEdit ist ein äußerst vielseitiger Editor, der sich vor allem an den Bedürfnissen von Programmierern orientiert. Für die Installation wird zunächst das Java Runtime Environment benötigt. Die Installation erfolgt anschließend z. B. über die Konsole:
sudo apt-get install jedit
Installation per apturl 
Das Programm kann über ► Entwicklung ► jEdit gestartet werden.