Sono un grande fan del focus del mouse, o "focus segue il mouse", e l'ho abilitato in Mint 14, ma quando ho reinstallato con Mint 15 non riesco a trovare l'opzione da nessuna parte. Nessuna delle sezioni in "Impostazioni di sistema" ha questa opzione e nessuna delle opzioni nella sezione "Preferenze" del menu principale sembra rilevante. Google produce alcuni post sul forum per le versioni precedenti di Mint e spesso include l'hacking nelle impostazioni di gconf manualmente. C'è un modo semplice per abilitare questo in Cinnamon su Mint 15?