>>435
私は使ったことないけど、これとかどう？自動でトップバーが消える
https://extensions.gnome.org/extension/545/hide-top-bar/