2011-07-24 gnome+compiz環境下でワークスペース数の変更ができない debian compiz側で設定する。gnomeの設定(gnome-panel の workspace switcher)は無視される。