Ciao a tutti,
dopo altre prove, credo di essere arrivato alla soluzione del problema (correggetemi se sbaglio). Se scrivo:
`\documentclass{report}
\usepackage[rgb]{xcolor}
\colorlet{myColor}{cyan!75!black}
\usepackage[os=win]{menukeys}
\renewmenucolortheme{myColorTheme}{named}{myColor}{black}{black}
\changemenucolortheme{angularmenus}{myColorTheme}
\providemenumacro{\myMenu}{angularmenus}
\begin{document}
\myMenu[,]{Tools,Commands,PFDLaTeX}
\end{document}`
ossia, se carico il pacchetto [tt]xcolor[/tt] con l’opzione [tt]rgb,[/tt] il risultato mi pare proprio quello voluto. Se ho capito bene quanto viene detto nella tabella 1 a pagina 9 della documentazione, quell’opzione fa sì che qualsiasi colore venga convertito nel modello rgb. A quanto pare questa conversione consente al pacchetto [tt]menukeys[/tt] di lavorare correttamente con i colori creati nella maniera [tt]\colorlet{nomeColore}{colore!X!colore}[/tt] (sempre con [tt]X[/tt] compresa fra [tt]0[/tt] e [tt]100[/tt]).
Ciao,
Marco.