jEdit
#éditeur-texte
Article Wikipedia :
https://fr.wikipedia.org/wiki/JEdit
Quitter le mode Zen