Paquet : pluma-dev (1.26.1-2 et autres)

éditeur de texte officiel de l'environnement de bureau MATE (fichiers de développement)

Pluma est un éditeur de texte proposant la plupart des fonctions de base d'un éditeur de texte, les complétant avec des fonctionnalités rarement trouvées dans les éditeurs simples. Pluma est une application graphique prenant en charge l'édition de plusieurs fichiers texte dans une seule fenêtre (quelquefois dénommée «⋅à onglets⋅» ou MDI).

Pluma gère n'importe quelle langue pour les textes à l'aide de l'encodage Unicode UTF-8 pour les fichiers édités. Ses fonctionnalités de base comprennent la coloration syntaxique du code source, l'auto-indentation et la prise en charge de l'impression et de l'aperçu avant impression.

Pluma est aussi extensible à l'aide de son système de modules, parmi lesquels on peut citer la prise en charge de la vérification orthographique, la comparaison de fichiers, la visualisation de modifications dans les versions CVS et l'ajustement des niveaux d'indentation.

Ce paquet fournit les fichiers de développement pour la construction de greffons pour Pluma.

Cette page est uniquement disponible dans les langues suivantes (Comment configurer la langue par défaut du document) :