Eu uso a configuração do fator de escala de fonte em gnome-tweak-tools
para dimensionar a interface do usuário em telas HiDPI.
Isso me dá um controle melhor sobre o dimensionamento.
Funciona porque o Gnome dimensiona automaticamente os elementos da interface do usuário para ajustá-los ao texto em programas do GTK 3.
Se você quiser um controle ainda melhor, você pode definir manualmente o tamanho da fonte de cada tipo de elemento na mesma seção do gnome-tweak-tool
.