Como alterar a altura da linha no pgAdmin em monitores 4K com escala 1

Question

a altura da linha no pgAdmin é controlada pelo tamanho da fonte, mas na tela da minha 2160p eu estou usando o fator de escala x2 para renderizar interfaces de usuário legíveis. A fonte é cortada na grade de resultados, eu posso expandir manualmente.

Existe alguma opção para controlar a altura da linha? Algum lugar em ~ / .pgadmin3?