Bonjour,

Je vous propose un nouvel élément à utiliser : Gedit

Gedit est l'éditeur de texte officiel de l'environnement GNOME.

Qu'en pensez-vous ?