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.
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.
