Liebe Gemeinde,
auf meinem Samsung NP900X3E (mit Intel HD Graphics 4000) habe ich Ubuntu 14.10 mit GNOME neu installiert. Anders als zuvor bei 14.04 läuft der Desktopwechsel (zum Beispiel mit [STRG]+[ALT]+[↓]) nervig unflüssig: Eine halbe Sekunde passiert gar nichts, dann bekommt man ganz kurz die Animation zu sehen, indem sich der Desktop um einen halben Zentimeter nach oben/unten bewegt, dann passiert wieder eine halbe Sekunde nichts, und dann ist der neue Desktop da. Nicht kritisch, aber unansehnlich, außerdem glaube ich, dass der Desktop-Wechsel so länger dauert als mit funktionierender Animation. Das Minimieren/Maximieren von Fenstern dauert auch komisch lange. Womöglich klappt da irgendeine Animation auch nicht ganz.
Proprietäre Treiber findet zumindest der Treibermanager keine.
Weiß jemand eine mögliche Lösung?
Vielen Dank im Voraus.