GNOME Shell を拡張してみた7

• https://bugzilla.gnome.org/show_bug.cgi?id=643662

• https://bugzilla.gnome.org/attachment.cgi?id=186893

GNOME Shell の上部パネルをauto hide にしてみた。
将来的には設定を切り替えられるようになるのかな。

dock 拡張もauto hide にしたいなぁ。