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 ...
Site Internet:
https://wiki.gnome.org/Apps/Gedittraits
Les catégories
Alternatives à gedit pour Linux
24
22
22
21
17
17
GNOME Builder
Builder est un IDE pour GNOME qui vise à apporter la puissance de la plate-forme à plus de développeurs que jamais auparavant.
17
TweakStyle
TweakStyle est un environnement de développement intégré pour le développement Web. Contrairement à la plupart des IDE, TweakStyle est conçu sur mesure pour le développement frontal et comprend la conception Web.
16
15
13
12
Chrome Dev Editor
Chrome Dev Editor est un outil de développement pour créer des applications sur la plate-forme Chrome - Chrome Apps et Web Apps, en JavaScript ou Dart.
11
