texedit

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

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

historique de la version

  • Version N/A posté sur 2011-08-08
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-08-08

Détails du programme