652
Editor de texto oficial del entorno de escritorio GNOME.Tiene resaltado de sintaxis y es adecuado para la programación, con soporte para varios idiomas.Es extensible con complementos.Actualmente presenta: * Soporte completo para texto internacionalizado (UTF-8) * Resaltado de sintaxis configurable para varios idiomas (C, C ++, Java, HTML, XML, Python, Perl y muchos otros) * Deshacer / Rehacer * Edición de archivos desde ubicaciones remotas* Revertir archivos * Compatibilidad con vista previa de impresión e impresión * Compatibilidad con portapapeles (cortar / copiar / pegar) * Buscar y reemplazar * Ir a línea específica * Sangría automática * Ajuste de texto * Números de línea * Margen derecho * Resaltado de línea actual * Coincidencia de corchetes * Archivos de respaldo* Fuentes y colores configurables * Un completo manual de usuario en línea ...
gedit
Sitio web:
https://wiki.gnome.org/Apps/GeditCaracteristicas
Categorias
Alternativas a gedit para Linux
24
22
22
21
17
17
GNOME Builder
Builder es un IDE para GNOME que se centra en llevar el poder de la plataforma a más desarrolladores que nunca.
17
TweakStyle
TweakStyle es un entorno de desarrollo integrado para el desarrollo web. A diferencia de la mayoría de los IDE, TweakStyle está hecho a medida para el desarrollo front-end y comprende el diseño web.
16
15
13
12
Chrome Dev Editor
Chrome Dev Editor es una herramienta de desarrollo para crear aplicaciones en la plataforma Chrome: aplicaciones Chrome y aplicaciones web, en JavaScript o Dart.
11