Gummi (logiciel)
Gummi est un éditeur de fichiers LaTeX. C'est un logiciel libre et gratuit, sous licence MIT et développé en C/GTK+.
Gummi
Capture d'écran de Gummi 0.4.0
Développé par | Alexander van der Mey, Dion Timmermann, Robert Schroll, Wei-Ning Huang |
---|---|
Première version | |
Dernière version | 0.8.2[1] () |
Dépôt | github.com/alexandervdm/gummi |
Écrit en | C et GTK+ |
Interface | GTK |
Système d'exploitation | Linux |
Environnement | Linux |
Langues | Multilingue |
Type | Éditeur de texte TeX/LaTeX |
Licence | Licence MIT |
Site web | gummi.app |
Fonctionnalités
- Prévisualisation en direct du document compilé
- Ouverture de plusieurs fichiers simultanément avec gestion de projets
- Options de compilation et de composition personnalisables
- Aperçu continu du document en fonction de la zone d'édition
- Vérification des erreurs
- Utilisation de documents modèles
- Correction orthographique
- Coloration syntaxique (avec plusieurs jeux de couleurs)
- Statistiques du document
- Utilisation d'extraits de code pour insérer rapidement du code
- Assistant pour créer facilement certains objets (tableaux, matrices, images...)
- Intégration de BibTeX pour gérer une bibliographie
- Support de SyncTeX
- Exportation au format PDF
Voir aussi
Liens externes
- (en) Site officiel
- (fr) Documentation Ubuntu sur Gummi
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.