ウィジェットレイヤが出てこない

ubuntu-tweakでウィジェットレイヤの設定をしたあと、F9を押しても出てこず、CCSMのデスクトップの項目で設定をしようと思っても、ウィジェットレイヤの項目がない。また、簡易CCSM設定で「追加のアニメーション」がクリックできない。ということで困っていたら、compiz-fusion-plugins-extraを入れたら、両方とも解決した。なぜか自動的にインストールされなかったようだ。