Monodevelop em (G) Ubuntu: Bad escalonamento no HiDPI Display

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 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