バーを隠す

Ubuntu 11.10 Gnome Classic デスクトップを使うようになってから、画面上端と下端のバーが自動的に隠れなくなりました。

解決法は、ターミナルから dconf-editor を起動し、▼org ▼gnome ▼gnome-panel ▼layout ▼toplevels と降りて行き、 bottom-panel と top-panel の auto-hide に✔を入れる、でした。