Gummi (software)
Gummi is a LaTeX editor. It is a GTK+ application which runs on Linux systems.
Features
Gummi has many useful features for editing LaTeX source code, such as:- Live preview: The pdf is shown without the need to compile it manually
- Snippets: LaTeX snippets can be configured
- Graphical insertion of tables and images
- Templates and wizards for new document creation
- Project management
- Bibliography management
- SyncTeX integration
- Compare.
- Graphical insertion of mathematical symbols.
- Document structure summary.