Package: monodevelop Version: 4.0.12+dfsg-6 Severity: minor On my 160 dpi screen the font size of the tabs is much too small compared to the font size of the menu and the code.
Could it be that the font size of the tabs has been specified in pixels instead of an absolute size? Best regards Heinrich Schuchardt
