Personalizar o Gnome 3 é algo entre difícil e impossível, pois isso "distrai o usuário" e prejudica a "identidade da marca Gnome" exclusiva. Talvez uma das dezenas de "extensões" resolva o seu problema, mas mesmo que tal extensão exista, não há garantia de que funcionará com a sua versão do Gnome 3.x, já que o gnome devolve intencionalmente a compatibilidade de extensão com cada Mudança de versão secundária do Gnome 3. J.