GNOME Shell 拡張機能 Autohidetopbar

We Love hide~The Best in The World~ / hide (CD ...


・Autohidetopbar

上パネルが自動で隠れる拡張機能らしいが、Arch Linux で他の拡張機能を全部 Gnome-tweak-tool 3.0.4 でオフにし試してみたが、隠れたのは最初だけで他の拡張機能をオンにしたりオフにしたりしてたら、
「ああっ！なにかがおかしいです」という画面が出てログアウトするしかない状況に落ちいったり、隠れなくなったり。

ここからダウンロードした autohidetopbar-1.0.tar.gz を展開し、~/.local/share/gnome-shell/extensions に置き、
「Alt+F2 キーでコマンド r 。
GNOME Shell が再起動され、拡張機能が適用される。」
するだけだが、使わない方がいいと思われる。

まとめ：GNOME3 外観 APPEARANCE カスタマイズメモ > here