Esta configuração está sob a "Configuração de exibição" em Configurações do sistema. Você pode acessá-lo pesquisando "Display". Aqui está o que parece:
Lembro-me de definir algo que afetou o tamanho da fonte em elementos da GUI, como barras de menus e áreas de texto nos editores (como a configuração de fonte padrão no gvim).
Eu tentei olhar para as configurações de "aparência", mas não consegui encontrá-lo.
Você se lembra dessa configuração? Como ajustar isso?
obrigado!