Gedit pour linux

gedit est l'éditeur de texte officiel de l'environnement de bureau gnome sur linux. tout en visant la simplicité et la facilité d'utilisation, gedit est un puissant éditeur de texte qui supporte tous les formats de fichiers courants. principales fonctionnalités : - support complet de texte internationalisé (utf-8), - la colorisation syntaxique est configurable pour les différents langages de programmation (c, c++, java, html, xml, python, perl et bien d'autres), - retour arrière et avant, - édition de fichiers à distance, - retour à une version anétérieure d'un fichier, - impression et aperçu avant impression, - supporte les fonctions de presse-papiers (couper, copier et coller), - rechercher et remplacer, - aller à la ligne spécifique, - indentation automatique, - renvoi à la ligne, - numéros de ligne, - marge à droite, - mise en évidence de la ligne actuelle, - sauvegarde des fichiers automatique, - polices de caractères et couleurs configurables, - manuel utilisateurs en ligne complet, - système de plugins flexible qui peut être utilisé pour ajouter dynamiquement de nouvelles fonctions avancées. voir la page des plugins pour plus d'informations sur les plugins existants.