Esta extensão do gnome pode fazer isso: barra de tarefas
A opção para ocultar o menu do aplicativo está na guia Diversos.
Eu realmente detesto o menu de aplicativos que o gnome-shell mostra.
Costumava haver uma extensão link mas não funciona no gnome -shell 3.10
Existe uma configuração na ferramenta gnome-tweak para não mostrar o menu do aplicativo, mas isso também não funciona
Eu tenho procurado na internet como um cachorro louco, mas sem soluções específicas para o gnome-shell 3.10
alguém conseguiu isso ainda?
Tenho certeza de que deve haver alguma configuração que possa ser alterada usando o editor do dconf.
Esta extensão do gnome pode fazer isso: barra de tarefas
A opção para ocultar o menu do aplicativo está na guia Diversos.