I am trying out to use MonoDevelop on a Dell XPS 13 (13 inch screen with 3200x1800 resolution).
I have set the window scaling property in the gnome tweak tool to "2" and most applications behave nicely.
Monodevelop however scales horribly (see picture): The build / status box in the top center and the start page have a way too small font. Also, most dialogs are opened way too small (settings), as are some views (property view).
Is there any way / option to fix this? I'm using GUbuntu 15.04