texedit
Лицензии: Бесплатный Размер файла: N/A
Рейтинг пользователей: 5.0/5 - 1 Голосов
Подождите... Ваша ссылка на загрузку проверяется на вредоносный контент.
Вы сможете скачать в течение 5 секунд.
Вы сможете скачать в течение 5 секунд.
О texedit
Texedit является простым и быстрым редактором текста GTKMM, в первую очередь предназначен для того, чтобы стать редактором TeX/frontend. Он использует библиотеку приблизительного сопоставления TRE для обработки regexps POSIX и делает синтаксис на основе regexp выделения любого языка. В настоящее время тексерит работает под