Eu atualizei para o jaguatirica onírica, executando ui impressionante. Tudo funciona, mais ou menos, tudo bem, mas uma coisa que notei é que agora minhas fontes de menu e símbolos de menu são maiores do que eu gostaria que fossem.
Eu costumava defini-las nas configurações de fonte, mas agora (para uma que eu nem sei mais onde estão as configurações de fonte, tentei o gnome-tweak-tool) as configurações de fonte desapareceram? Certamente estou perdendo alguma coisa.
Meu principal exemplo é o programa demonstrado cujos símbolos são ginormous.
Alguma dica de como ajustá-lo?