Gummi簡(jiǎn)易 LaTeX 編輯工具
Gummi 是一個(gè)簡(jiǎn)易 LaTeX 編輯工具,具備實(shí)時(shí)預(yù)覽、語(yǔ)法高亮、BibTex 支持、導(dǎo)出到 PDF 、糾錯(cuò)/拼寫(xiě)檢查、預(yù)設(shè)模版等功能。
Ubuntu 用戶(hù)可以通過(guò)這個(gè) PPA 來(lái)安裝:
sudo apt-add-repository ppa:gummi/gummi
sudo apt-get update
sudo apt-get install gummi
評(píng)論
圖片
表情
