Funcionará se você ajustar as configurações de DPI das fontes. Você tem várias opções:
- Usando
gnome-tweak-tool
: configurações avançadas > Fontes > Fator de escala de texto - Usando
dconf-editor
: org > gnome > área de trabalho > interface > fator de escala de texto