Ich bin ein großer Fan von Mausfokus oder "Fokus folgt Maus", und ich hatte dies in Mint 14 aktiviert, aber als ich mit Mint 15 neu installiert habe, kann ich die Option nirgendwo finden. Keiner der Abschnitte in "Systemeinstellungen" verfügt über diese Option, und keine der Optionen im Abschnitt "Einstellungen" des Hauptmenüs scheint relevant zu sein. Google liefert einige Forenbeiträge für ältere Mint-Versionen und enthält häufig das manuelle Hacken in der gconf-Einstellung. Gibt es eine einfache Möglichkeit, dies in Cinnamon on Mint 15 zu ermöglichen?