Package: pluma-dev (1.26.1-2.1)

editor di testi ufficiale dell'ambiente desktop MATE (file di sviluppo)

Pluma è un editor di testo che gestisce la maggior parte delle funzionalità standard di un editor, estendendo queste funzionalità di base con altre solitamente non presenti negli editor di testo semplici. Pluma è un'applicazione grafica che permette la modifica di più file di testo in un'unica finestra (modalità a volta detta a schede o MDI).

Pluma gestisce pienamente il testo internazionale grazie al suo utilizzo della codifica Unicode UTF-8 per i file modificati. Il suo insieme di base di funzionalità include l'evidenziazione della sintassi di codice sorgente, rientri automatici e capacità di stampa e anteprima di stampa.

Pluma è anche estensibile attraverso il suo sistema di plugin, che attualmente include la gestione del controllo ortografico, il confronto di file, la visualizzazione di ChangeLog CVS e la regolazione dei livelli dei rientri.

Questo pacchetto contiene i file di sviluppo per compilare i plugin di Pluma.

This page is also available in the following languages (How to set the default document language):