Monodevelop no (G) Ubuntu: dimensionamento incorreto no display HiDPI

Question

Estou tentando usar o MonoDevelop em um Dell XPS 13 (tela de 13 polegadas com resolução de 3200x1800).

Eu configurei a propriedade de dimensionamento da janela na ferramenta gnome tweak para "2" e a maioria dos aplicativos se comporta bem.

No entanto, o Monodevelop tem uma escala horrível (veja a imagem): A caixa de construção/status na parte superior central e a página inicial têm uma fonte muito pequena. Além disso, a maioria das caixas de diálogo são abertas muito pequenas (configurações), assim como algumas visualizações (visualização de propriedades).

Existe alguma maneira/opção de corrigir isso? Estou usando o GUbuntu 15.04

Answer 1

Tente dimensionar usando a opção 'Scalling' - 100%/200% ou dimensionamento fractal em vez de ajustes por aplicativo do Gnome. Quando o aplicativo está quebrado, não há muito o que fazer sem reescrever seu código. Eu possuo meu segundo XPS13 (9310, anteriormente 9343) e acho que colocar a tela 4K no formato de 13 '' é um aborto espontâneo. Às vezes, nada é tão útil quanto 'downgrade' temporário da resolução para FullHD; você pode até criar scripts xrandre anexar atalhos de teclado a ele. Além disso, você pode usar os mesmos ajustes do gnome para dimensionar aplicativos codificados corretamente de outra maneira, quando sua resolução atual for de baixo DPI, como solução alternativa para o MonoDevelop. Certifique-se também de que sua proporção seja igual à original? Como alguns XPS de 13' usam proporção de 16:10 e alguns usam proporção de 16:9.