Plugin Editor dei temi¶
Crea e modifica temi di colorazione della sintassi dentro le Preferenze. I temi
vengono salvati come file portatili themes/<id>.json nella tua cartella di
configurazione utente, così sopravvivono agli aggiornamenti e si possono condividere
tra installazioni.
Dove trovarlo¶
Preferenze ▸ Colorazione della sintassi ▸ Temi — il plugin aggiunge una pagina di impostazioni, non una voce di menu.
Come usarlo¶
- Scegli un tema da modificare, oppure Duplicane uno per partire da un aspetto esistente.
- Regola i colori di ciascuna categoria semantica (parole chiave, stringhe, commenti, numeri, tipi, …) più il testo e lo sfondo predefiniti dell'editor.
- Imposta i colori di decorazione dell'editor: sfondi della selezione e della riga corrente, parentesi corrispondenti e non corrispondenti, tinte dell'evidenziazione intelligente e dei segni, testo degli URL, l'indicatore di segnalibro, i colori di testo aggiunto / rimosso nel diff usati ovunque l'editor renda un diff in linea (ad esempio la finestra di revisione delle modifiche dell' assistente IA) e le tinte di sfondo di riga aggiunta / rimossa / modificata / spostata nel diff della vista di confronto, più la cornice dei caratteri modificati nel diff. Ogni colore di decorazione è facoltativo; Cancella lo riporta al valore integrato dell'editor per la variante chiara/scura del tema.
- Applica scrive i temi che hai cambiato nella cartella dei temi dell'utente; il ricaricamento di impostazioni applicate dell'editor ricolora quindi subito ogni documento aperto.
| Tipo di tema | Modificabile? |
|---|---|
| Temi integrati (ad es. Chiaro, Scuro) | Sola lettura — Duplicalo per averne una copia modificabile. Puoi comunque sfogliarli: le tabelle scorrono e ogni valore (compresi i colori dei plugin) è leggibile; solo i selettori, i pulsanti Cancella e le caselle di stile appaiono in grigio, e un suggerimento «Tema integrato — duplicalo per modificarlo» spiega perché. |
| Temi personalizzati (i tuoi) | Completamente modificabili; salvati nella tua cartella dei temi dell'utente. |
Un tema che proviene da un altro autore contiene nel file del tema un blocco
attribution: i suoi autori e la sua licenza. L'Editor dei temi conserva quel
blocco invariato in ogni copia che salva, anche con Duplica sotto un nuovo
nome, così un tema derivato continua ad attribuire correttamente i crediti.
L'editor non mostra né modifica il blocco.
Non serve per usare i temi
L'editor carica e applica i temi per conto suo. L'Editor dei temi serve solo per crearli o cambiarli: disinstallarlo lascia la gestione dei temi pienamente funzionante, solo senza l'interfaccia di modifica.