Программы texedit.sf.net

Texedit является простым и быстрым редактором текста GTKMM, в первую очередь предназначен для того, чтобы стать редактором TeX/frontend. Он использует библиотеку приблизительного сопоставления TRE для обработки regexps POSIX