C'è un modo per abilitare i tasti permanenti in OS X ma disabilitarli automaticamente mentre ci sono alcune applicazioni?
La modifica dei file di sistema e l'uso intensivo del terminale è ok.
Ecco un screenshot del pannello delle preferenze contenente i tasti permanenti come riferimento.
Il mio caso specifico è la virtualizzazione di Win 7 in Virtual Box su OSX 10.7.5