Este é específico para o shell Gnome 3. Eu gosto do painel inferior do GNOME Shell, mas seu recurso de autohide é um turn-off. Há muitas extensões lá fora, mas nenhuma oferece essa facilidade. Você pode me ajudar apontando para a extensão correta. (Eu estou passando por isso link tutorial, mas não posso dizer se posso terminar de trabalhar nisso.
Tags gnome-shell