Pluma

Pluma

Pluma, fourchette de ...
Pluma, fork de, est un éditeur de texte faisant partie de Desktop Environment.Il prend en charge la plupart des fonctionnalités d'éditeur standard, étendant cette fonctionnalité de base avec d'autres fonctionnalités que l'on ne trouve généralement pas dans les éditeurs de texte simples.Pluma est une application graphique qui prend en charge l'édition de plusieurs fichiers texte dans une seule fenêtre (parfois appelée onglets ou MDI).Pluma prend entièrement en charge le texte international grâce à son utilisation de l'encodage Unicode UTF-8 dans les fichiers modifiés.Son ensemble de fonctionnalités de base comprend la mise en évidence de la syntaxe du code source, l'indentation automatique et la prise en charge de l'impression et de l'aperçu avant impression....
pluma

Site Internet:

traits

Les catégories

Alternatives à Pluma pour Chrome OS

Visual Studio Code

Visual Studio Code

Le code combine l'interface utilisateur rationalisée d'un éditeur moderne avec une assistance et une navigation riches en code, et une expérience de débogage intégrée - sans avoir besoin d'un IDE complet.
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.
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.