Gummi (software)
Gummi is a LaTeX editor. It is a GTK+ application which runs on Linux and Windows systems.Features
Gummi has many useful features needed to edit LaTeX source code, such as:
However, it lacks some features available in other editors:
Gummi is available in the official repositories of various Linux distributions, such as Arch Linux, Debian, Fedora, Gentoo, and Ubuntu.