Preferenze¶
La finestra di dialogo Preferenze raccoglie le impostazioni dell'editor in categorie. Tra le pagine integrate ci sono Generale (con la sezione backup del file), Scorciatoie (riassegnare la scorciatoia da tastiera di qualsiasi comando), Colorazione della sintassi, Completamento automatico, Evidenziazione intelligente, Associazioni di file, Stampa (colori, numeri di riga, intestazione e piè di pagina, impostazioni della pagina), Assistente IA (se un intero documento viene inviato senza chiedere, modifiche ai file da parte del motore) e Estensioni (attivare/disattivare i plugin installati). I plugin forniscono pagine di impostazioni proprie, che compaiono accanto a quelle integrate — ad esempio Editor dei temi, Rientro e Statistiche del documento.
Carattere dell'editor¶
Generale ▸ Carattere dell'editor / Dimensione del carattere imposta il carattere a spaziatura fissa con cui ogni vista dell'editor disegna il testo — inclusi i riquadri divisi, la minimappa e i file con colorazione della sintassi (i temi colorano solo il testo; non cambiano mai il carattere). L'elenco propone soltanto famiglie a larghezza fissa. Il valore predefinito dipende dalla piattaforma: Consolas su Windows, Menlo su macOS, DejaVu Sans Mono su Linux. Se la famiglia configurata non è installata su questa macchina (ad esempio con un file di impostazioni portato da un altro sistema), l'editor ricade sul carattere a larghezza fissa del sistema operativo, così il testo si allinea sempre in colonne. Le modifiche si applicano a tutte le schede aperte non appena premi Applica o OK; Visualizza ▸ Zoom ridimensiona la visualizzazione sopra la dimensione configurata.
Rendering della finestra¶
Generale ▸ Rendering della finestra decide come l'editor disegna la propria finestra:
| Modalità | Che cosa significa |
|---|---|
| GPU (consigliato) | Il valore predefinito. La finestra è composta dalla scheda grafica dal momento in cui si apre. |
| CPU | La finestra è composta invece dal processore. |
L'impostazione esiste per via dell'anteprima HTML: il suo motore di browser deve essere composto dalla scheda grafica, e in modalità CPU la finestra va ricreata per fargli posto — per questo la finestra dell'editor lampeggia una volta, la prima volta che apri quell'anteprima. GPU evita il lampeggio ed è la modalità su cui restare. Passa a CPU solo se la finestra stessa si comporta male sulla tua macchina (disegnata male, o non disegnata affatto).
La modalità è fissata per tutta l'esecuzione dell'editor, quindi una modifica ha effetto
dopo un riavvio, che la pagina ti propone. Se la finestra è già inutilizzabile e non
riesci a raggiungere le Preferenze, avvia l'editor una volta con
--rendering=cpu
e imposta l'opzione da lì.
Questa impostazione non viene portata con sé da importazione ed esportazione delle impostazioni: che la composizione tramite GPU funzioni è una proprietà della macchina, non della tua configurazione.
Estensioni¶
La pagina Estensioni elenca ogni plugin che l'editor ha trovato, caricato o no. La colonna Stato dice se ciascuno funziona e, se non funziona, perché: così un plugin non resta mai inattivo in silenzio:
| Stato | Significato |
|---|---|
| Attivata / Disattivata | La tua scelta; una modifica vale dopo un riavvio. |
| Richiede una licenza | Un plugin a pagamento che la licenza attuale non attiva. |
| Richiede l'estensione nome, che non è installata | Il plugin dipende da un altro plugin che non è installato. Installa quello, oppure disattiva questo. |
| Richiede l'estensione nome, che è disattivata | Il plugin da cui dipende è spento. Attivalo e riavvia. |
| Richiede l'estensione nome, che richiede una licenza | Il plugin da cui dipende è un plugin a pagamento che la licenza attuale non attiva. |
| Richiede l'estensione nome, che non è stata caricata | Il plugin da cui dipende è attivo ma non è riuscito ad avviarsi: la sua riga dice perché. |
| Richiede l'estensione nome, che a sua volta richiede questa estensione | I due plugin dipendono l'uno dall'altro, quindi nessuno dei due può avviarsi. Segnalalo ai loro autori. |
| Richiede una versione più recente di OctoEdit | Il plugin è stato compilato per una versione successiva dell'editor. Aggiorna l'editor, oppure installa una versione del plugin fatta per questa. |
| Incompatibile (versione API diversa) | Il plugin è stato compilato per una versione diversa e incompatibile dell'editor. |
Un plugin che non può funzionare appare in grigio. Un plugin da cui altri dipendono viene sempre avviato prima di loro.
Note
Attivare o disattivare un plugin ha effetto al prossimo avvio: l'editor non carica né scarica mai codice dei plugin mentre è in esecuzione.