texedit

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur texedit

Texedit est un éditeur de texte GTKMM simple et rapide, principalement destiné à devenir un éditeur TeX / frontend. Il utilise la bibliothèque d’appariement approximatif TRE pour gérer les réexps POSIX, et fait la mise en surbrillance de syntaxe basée sur regexp de n’importe quelle langue. Actuellement, texedit fonctionne sous