Editeur de texte AGILITEXT
Un simple éditeur de texte capable de générer des statistiques de document ...
168 KB
Éditeur de menu pour Jedit
Un plugin Jedit fiable qui vous propose une seule boîte de dialogue, qui affiche tous les menus disponibles ... ...
38 KB
Ancêtre pour Jedit
Un plugin Jedit utile et fiable qui insère dans votre éditeur une barre d'outils pour parcourir facilement tous les ... ...
16 KB