Gummi簡(jiǎn)易 LaTeX 編輯工具

Gummi 是一個(gè)簡(jiǎn)易 LaTeX 編輯工具，具備實(shí)時(shí)預(yù)覽、語(yǔ)法高亮、BibTex 支持、導(dǎo)出到 PDF 、糾錯(cuò)/拼寫檢查、預(yù)設(shè)模版等功能。

Ubuntu 用戶可以通過這個(gè) PPA 來安裝：

sudo apt-add-repository ppa:gummi/gummi
sudo apt-get update
sudo apt-get install gummi