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
Références
- (en) « Gummi 0.8.2 », sur GitHub (consulté le )
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.