jEdit – Editor für Programmierer
(quelloffen, Version 5.5.0 unter Linux Mint 22)
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.
Installation aus den offiziellen Paketquellen:
sudo apt-get install jedit
Installation per apturl
Das Programm kann über ► Entwicklung ► jEdit gestartet werden.
Für die Syntax-Hervorhebung existieren keine Farbschemata. Über die Editor-Einstellungen können lediglich die Farben für bestimmte Syntax-Elemente geändert werden.