Notice (2018-05-24): bugzilla.xamarin.com is now in
Please join us on
Visual Studio Developer Community and in the
Mono organizations on
GitHub to continue tracking issues. Bugzilla will remain
available for reference in read-only mode. We will continue to work
on open Bugzilla bugs, copy them to the new locations
as needed for follow-up, and add the new items under Related
Our sincere thanks to everyone who has contributed on this bug
tracker over the years. Thanks also for your understanding as we
make these adjustments and improvements for the future.
Please create a new report on
Developer Community or GitHub with
your current version information, steps to reproduce, and relevant error
messages or log files if you are hitting an issue that looks similar to
this resolved bug and you do not yet see a matching new report.
Created attachment 8524 [details]
MonoDevelop with 166 dpi
MonoDevelop has a few problems with rendering on my 166 dpi screen, you can see them on the these screenshots:
http://i.imgur.com/Yt48cXd.png - 96 dpi
http://i.imgur.com/dusFVH2.png - 166 dpi
Build status (that bar with "Build Successful") does not scale at all - the font is the same size on 96 dpi and 166 dpi - too small on high dpi screens.
Welcome page with Xamarin news - only partially scaled - "Did you know?" thing is scaled, everything else is not.
Search bar on the top right - just look at the 166 dpi screenshot and you'll see.
Another thing that doesn't scale properly - file tabs font.
Created attachment 8525 [details]
An example of file tabs font not scaling
DiffusionEquation.cs, Program.cs - the font size is the same on both DPIs.
These should be fixed now.
Which version of Monodevelop will feature this fix? Also, will it have an option to set the DPI number or it pulls the value from the desktop environment? Thanks!
I believe it's fixed in 5.8 and 5.9. There may be pieces that I've missed, so feel free to file a new bug report if there are specific things that I miss.
It's pulling the DPI number from the desktop, so you shouldn't need to set anything. But if you're using multiple monitors with different DPIs there may be issues, I haven't tested that yet.