A solução é bastante simples e pode ser feita usando o Gnome-tweak-tool; No mesmo local em que você desativa a barra inferior (extensões de shell), é necessário desmarcar "extensão de menu", "extensão de visão geral inteligente" e "extensão de lista de janelas"