texedit

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Texedit è un editor di testo GTKMM semplice e veloce, destinato principalmente a diventare un editor / frontend TeX. Utilizza la libreria di corrispondenza approssimativa TRE per gestire le regexps POSIX e l'evidenziazione della sintassi basata su regexp di qualsiasi lingua. Attualmente texedit lavora sotto

cronologia delle versioni

  • Versione N/A pubblicato il 2011-08-08
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-08-08

Dettagli del programma