123
Chrome Dev Editor

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.
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.

Site Internet:

traits

Les catégories

Alternatives à Chrome Dev Editor pour GNOME

gedit

gedit

É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.