Riparare la ricerca di Preferenze di sistema (system preferences)
Da un paio di settimane ho notato che quando cercavo qualcosa in system preferences (per esempio Dock) la schermata diventava buia come dovuto, però non veniva evidenziato nessun item.
Per riparare questo fastidio, dopo un po di ricerche su google ho trovato questa soluzione: