Você está procurando a extensão " Ocultar barra superior " do Gnome Shell.
Eu sei que o Ubuntu 17.10 foi lançado há poucos dias, mas alguém descobriu como ocultar automaticamente o painel superior, como o encaixe automático da base quando os aplicativos estão em tela cheia.
Eu segui vários tutoriais on-line, mas nenhum deles funcionou.
Tags gnome-shell