Pluma è un editor di testo che supporta molte caratteristiche degli editor di testo standard.
Esso estende queste funzionalità base con altre caratteristiche che non si trovano facilmente su editor più semplici.
Pluma è un applicazione grafica che supporta la modifica di più file di testo in una singola finestra (note a volte come schede o MDI).
Pluma supporta completamente il testo internazionale mediante l’utilizzo della codifica Unicode UTF-8 nei file modificati.
Pluma è un editor di testo preinstallato in Ubuntu MATE.
Le sue caratteristiche base includono l’evidenziazione della sintassi del codice sorgente, l’auto indentazione e il supporto alla stampa (con la funzionalità dell’anteprima di stampa). Pluma è un derivato di Gedit.
Pluma è un'applicazione grafica che supporta la modifica di più file di testo in un'unica finestra (schede o MDI). Supporta pienamente il testo internazionale grazie all'utilizzo della codifica Unicode UTF-8. Come editor di testo generico, Pluma supporta la maggior parte delle funzionalità standard, puntando sulla semplicità e la facilità d'uso. Le sue funzionalità principali includono l'evidenziazione della sintassi del codice sorgente, l'indentazione automatica e il supporto per la stampa con anteprima di stampa.
È progettato per avere un'interfaccia utente grafica pulita e semplice, in linea con la filosofia del progetto MATE, ed è l'editor di testo predefinito per MATE. Pluma è un software libero e open source, soggetto ai requisiti della GNU General Public License versione 2 o successiva.
L'editor di testo Xed, preinstallato su Linux Mint, è stato un fork di Pluma nel 2016.
Caratteristiche.
Ecco alcune delle principali caratteristiche di Pluma:
Editing a schede:
Pluma può gestire più file di testo contemporaneamente in diverse schede all'interno della stessa finestra.
Supporto UTF-8:
Garantisce la corretta visualizzazione e modifica di testo in diverse lingue e caratteri.
Funzionalità standard:
Include le funzioni di base degli editor di testo, come la gestione di file, la ricerca e la sostituzione, il copia e incolla, e così via.
Estensibilità tramite plugin:
Pluma supporta un sistema di plugin che permette di aggiungere nuove funzionalità, come il controllo ortografico o il confronto di file.
Fork di Gedit:
Pluma è un fork del famoso editor di testo Gedit di GNOME.
Elenco dei plugin
Alcuni dei plugin, inclusi e installati con Pluma (sono disponibili anche plugin esterni):
Esploratore di file
Elenco tag
Conteggio parole
Correttore ortografico
Inserimento data/ora
Ordinamento
Cambia maiuscole/minuscole del testo selezionato
Espansione automatica di frammenti
Strumenti esterni
Synctex
In sintesi, Pluma è una buona scelta per chi cerca un editor di testo semplice, leggero e versatile, con un'attenzione particolare alla gestione del testo internazionale.
Nessun commento:
Posta un commento
Non inserire link cliccabili altrimenti il commento verrà eliminato. Metti la spunta a Inviami notifiche per essere avvertito via email di nuovi commenti.