2016-05-05 グラフィックドライバを変更 なんだがワークスペースの切り替えが重いなと思ったので調べると、グラフィックドライバに代替のものが使われているかもしれないことが発覚。 (そもそもちょっと前までそんな症状なかったのにな…) システム設定→ソフトウエアとアップデート→追加のドライバから、NVIDIAのドライバを選択して適用しました。 使っているボードは750Tiです。 再起動したところ、ワークスペースの切り替えやウインドウアニメーションがスムーズになりました。