Infelizmente, a resposta atual é: você não pode (a menos que descubra e modifique o código-fonte).
Nesta resposta, listo as formas que não funcionam, para salvar os futuros leitores-modders o tempo e o trabalho de tentar e falhar.
Relatório de erros existente
-
Bug # 756845 ( "Pesquisa do traço do Unity incapaz de alterar o tamanho da fonte / ícone" ) refere-se a este problema exato, conforme mostrado por parte da captura de tela para o relatório de bug:
-
O bug foi confirmado e rotulado como "baixa importância", sem comentários dos desenvolvedores ou de qualquer outra pessoa sobre uma solução alternativa ou quando ela será resolvida.
B. Alterando fontes ou o fator de escala em gnome-tweak-tool
-
Isso não funciona:
-
A alteração do fator de escala parece mudar tudo, MAS o tamanho da fonte do traço / hud (essa é uma captura de tela de 1920x1080 abaixo - compare o tamanho da fonte do terminal!):
C. Editando dash-widgets.json
na pasta Unity Theme
-
Você pode encontrar um arquivo chamado
dash-widgets.json
em/usr/share/unity/5/
e/usr/share/unity/themes
. Isso contém um monte de configurações semelhantes a CSS que podem lhe dar esperança, como:"preview-heading-small" : { "main-title-size" : 23.0,
mas alterá-los não funciona. (a fonte do Dash é aproximadamente tamanho 22)
D. Alterar o tamanho do ícone do Launcher não o afeta
-
Como o campo de texto traço é quase exatamente a altura do ícone do inicializador do Ubuntu, você pode pensar que diminuir o tamanho do ícone alteraria a altura do campo de texto e tornaria sua fonte menor.
- É fácil alterar o tamanho do ícone no Plug-in do Unity no Gerenciador de configurações do CompizConfig (ccsm) ou no front-end MyUnity :
- Mas diminuir para o mínimo, 32, não altera o tamanho da fonte do traço!