texedit

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi

Texedit adalah editor teks GTKMM yang mudah dan cepat, terutamanya bertujuan untuk menjadi editor TeX / frontend. Ia menggunakan perpustakaan TRE anggaran padanan untuk mengendalikan regeksp POSIX, dan melakukan penjerma berasaskan regexp yang menonjolkan sebarang bahasa. Pada masa ini texedit kerja-kerja di bawah

sejarah versi

  • Versi N/A diposkan pada 2011-08-08
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-08-08

Butiran Atur Cara