texedit

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

О texedit

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