DIMINUIR A TOPBAR DO GNOME (POP_OS)

vilopesp
(usa KUbuntu)

Enviado em 04/08/2020 - 23:19h

Eae guys,

Andei dando uma pesquisada aqui, mas nao achei nada, gostaria de saber se existe alguma forma (através de extensão ou alteração de script) para eu diminuir um pouco a top bar do gnome? A unica coisa que encontrei é para esconder, mas nao me adaptei, preferia que ela continuasse aparecendo, porém menor, acho ela muito grande. Eu vi que alguns temas shells tambem diminuem ela, mas não achei nenhum que eu gostasse, então pensei que talvez se o tema consegue, teria algum outro jeito de fazer essa alteração manualmente.

Ryuk
(usa Nenhuma)

Enviado em 05/08/2020 - 09:09h

Fiz uma pesquisa rápida e achei essa extensão:
https://extensions.gnome.org/extension/584/taskbar/

Não uso Gnome, não sei se funciona, mas aparentemente tem a opção de diminuir o tamanho do painel. Testa aí!!!

removido
(usa Nenhuma)

Enviado em 05/08/2020 - 11:33h

Dê uma olhada:
https://unix.stackexchange.com/questions/257163/reduce-title-bar-height-in-gnome-3-gtk-3