Install gummi by entering the following commands in the terminal:
sudo apt update sudo apt install gummi
Description:
GTK+ based LaTeX editor with live preview
Gummi is a LaTeX editor based on GTK+. The basic features are: - Live preview pane for the compiled document, - BibTeX integration, - Helpers for tables and matrices, - Exporting to PDF, - Error checking, - Syntax highlighting, - Spellchecking, - Document statistics, - Persistent configuration.
Homepage: https://github.com/alexandervdm/gummi
Version: 0.6.6-4
Section: universe/tex