texedit

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 5.0/5 - ‎1 ‎Stimmen

Texedit ist ein einfacher und schneller GTKMM-Texteditor, der in erster Linie dazu gedacht ist, ein TeX-Editor/Frontend zu werden. Es verwendet TRE ungefähre Matching-Bibliothek, um POSIX-Regexps zu behandeln, und führt regexp-basierte Syntaxhervorhebung jeder Sprache. Derzeit arbeitet texedit unter

VERSIONSVERLAUF

  • Version N/A veröffentlicht auf 2011-08-08
    Mehrere Korrekturen und Updates
  • Version N/A veröffentlicht auf 2011-08-08

Programmdetails