Un éditeur de texte qui a l'air sympa, avec des plugins. Ça pourrait remplacer Geany que j'utilise habituellement.
(Permalink)