Re: Parole chiave in grassetto con listings [Risolto]

#12997
Up
0
Down
::

Sinceramente non ho capito molto della tua risposta, ma sostituendo la stringa che mi hai detto ottengo un risultato soddisfacente:

  • le parole chiave in blu e grassetto;

  • il resto in nero normale.

Forse devo guardarmi come funziano i caratteri, perchè ho un po’ di dubbi…

Non hai risolto un bel niente. 😀

Il comando \fontfamily{pcr} sceglie il carattere Courier. Ovviamente questo non è troppo compatibile con il Computer Modern; poco male, se non usi \texttt o \ttfamily in altri punti del documento.

Un modo per “risolvere” globalmente sarebbe di rimettere \ttfamily al posto di \fontfamily{pcr} e scrivere
`\renewcommand{\ttdefault}{pcr}`
nel preambolo.

Ciao
Enrico

Go to top