Estou tentando usar o MonoDevelop em um Dell XPS 13 (tela de 13 polegadas com resolução de 3200x1800).
Eu configurei a propriedade de escala de janela na ferramenta gnome tweak para "2" e a maioria dos aplicativos se comporta bem.
O monodesenvolvimento, no entanto, escala terrivelmente (veja a figura): A caixa de construção / status no centro superior e a página inicial têm uma fonte muito pequena. Além disso, a maioria dos diálogos é aberta muito pequena (configurações), assim como algumas visualizações (visão de propriedade).
Existe alguma maneira / opção para corrigir isso? Estou usando o GUbuntu 15.04