CudaText - Home vendredi 19 mai 2023 à 16:10 Un éditeur de texte qui a l'air sympa, avec des plugins. Ça pourrait remplacer Geany que j'utilise habituellement.(Permalink)