texedit

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos

Texedit es un editor de texto GTKMM simple y rápido, destinado principalmente a convertirse en un editor/frontend TeX. Utiliza la biblioteca de coincidencia aproximada TRE para controlar las referencias de registro POSIX y resalta la sintaxis basada en regexp de cualquier lenguaje. Actualmente texedit trabaja bajo

historial de versiones

  • Versión N/A publicado en 2011-08-08
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-08-08

Detalles del programa