DIMINUIR A TOPBAR DO GNOME (POP_OS)

1. DIMINUIR A TOPBAR DO GNOME (POP_OS)

Vitoria
vilopesp

(usa Outra)

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.


  


2. Re: DIMINUIR A TOPBAR DO GNOME (POP_OS)

Ryuk Shinigami
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í!!!



3. Re: DIMINUIR A TOPBAR DO GNOME (POP_OS)





Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner
Linux banner
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts