Usando gnome-tweak-tool
, que deve estar disponível nos repositórios (ou já instalados), você pode ajustar o tamanho e a escala das fontes, juntamente com algumas opções de escala HiDPI.
Existem também algumas opções de escalonamento na seção 'Acesso Universal / Acessibilidade' do programa de configurações do Gnome.
Um deles deve ter a configuração que você precisa ajustar.