
652
Éditeur de texte officiel de l'environnement de bureau GNOME.A la coloration syntaxique et convient à la programmation, avec prise en charge de plusieurs langues.Il est extensible avec des plugins.Actuellement, il comprend: * Prise en charge complète du texte internationalisé (UTF-8) * Mise en évidence de la syntaxe configurable pour différentes langues (C, C ++, Java, HTML, XML, Python, Perl et bien d'autres) * Annuler / Rétablir * Édition de fichiers à partir d'emplacements distants* Restauration de fichiers * Prise en charge de l'impression et de l'aperçu avant impression * Prise en charge du presse-papiers (couper / copier / coller) * Rechercher et remplacer * Aller à une ligne spécifique * Retrait automatique * Habillage du texte * Numéros de ligne * Marge droite * Mise en surbrillance de la ligne actuelle * Correspondance entre parenthèses * Fichiers de sauvegarde* Polices et couleurs configurables * Un manuel d'utilisation en ligne complet ...