texedit

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos

Sobre texedit

Texedit é um editor de texto GTKMM simples e rápido, destinado principalmente a se tornar um editor/frontend TeX. Ele usa biblioteca de correspondência aproximada do TRE para lidar com regexps POSIX, e faz o destaque de sintaxe baseado em regexp de qualquer idioma. Atualmente texedit trabalha sob