Ich verwende Ubuntu 12.04 und habe mir den Cinnamon-Fenstermanager installiert (Paketquelle quendal-lebihanb...), weil mir dieser am meisten zusagt. Funktioniert alles recht klass, aber unter anderem stört mich der Hot-Corner - abschalten geht ganz einfach über "Einstellungen - Cinnamon-Einstellungen" - ja wenn die nur dort oder irgendwo anders im System zu finden wären.
wie komme ich zu den Cinnamon-Einstellungen?