Quando não tenho apps em execução, ou estou na tela de atividades no shell do GNOME, a barra de atividades tem talvez 20px de altura. Quando estou executando um aplicativo, isso se expande para 70px, possivelmente para caber no ícone do aplicativo 64x64 usado para o aplicativo. Posso tornar esta barra menor o tempo todo?
Você tem que editar o CSS do tema do shell do gnome. O arquivo CSS do gnome shell padrão é mantido em /usr/share/gnome-shell/theme/ - certifique-se de editar o arquivo com privilégios "root" e, em seguida, editar "gnome-shell.css" .
O estilo do painel (ou barra de atividades) está em #panel (faça uma pesquisa) - a expansão do painel provavelmente se deve aos efeitos de tamanho da fonte & altura
Não sei se você já encontrou uma resposta para isso, mas sim, você pode. No entanto, você precisará mergulhar no CSS do tema que está usando (e onde isso dependerá da sua versão do Gnome Shell e se você está usando um tema incorporado ou personalizado).
Depois de encontrar o arquivo CSS, abra-o em algo como o Gedit e encontre as referências à barra de atividades e altere as configurações desejadas (para sua pergunta em particular, você desejará a configuração height ). Provavelmente haverá cerca de dois ou três lugares que você precisará encontrar (o "regular" quando nada estiver sendo executado, um quando a janela de atividades estiver aberta e outra quando um aplicativo estiver aberto). Depois de fazer as alterações, salve o arquivo e reinicie o Gnome Shell (alt + F2, r, enter).
Como alternativa, você pode simplesmente instalar um novo tema do Gnome-Shell. Se você ainda não instalou, instale o Gnome-Tweak-Tool. Então, você pode baixar seu tema favorito e instalá-lo a partir do Gnome-Tweak-Tool.
Tags gnome