Custom color for the foreground of the text character at the terminal’s highlight position, as a color specification (can be HTML-style hex digits, or a color name such as “red”). This is ignored if highlight-colors-set is false.
Colore personalizzato per il primo piano del carattere di testo alla posizione delle evidenziazioni del terminale, come una specifica di colore (può essere un numero esadecimale in stile HTML oppure il nome di un colore come "red"). Questo è ignorato se highlight-colors-set è FALSO.
None