I am posting here a question that got no reply on the official peppermint linux forums.
I installed peppermint in a virtual machine. Everything seems impressively nice and simple, but there is one annoying problem I do not know how to solve.
After the installation, the screen resolution was set, for some reason, to 800x600. My screen is a 1280x1024 LCD, so I changed (via preferences -> monitor settings) the resolution to 1280x1024. After the change the fonts in applications (but not in the OS menu itself, see http://img823.imageshack.us/img823/8249
... ntsize.png ) became huge. I checked the settings and the sizes there seem correct. It seems as though the OS thinks the screen's DPI is different than it is, because other elements (eg. images and the OS's own bar at the bottom of the screen, whose sizes are pixel-based) remain in a correct size.
I tried other screen resolutions, and it is apparent that the size of the fonts increase in proportion to the chosen resolution: the higher the resolution, the larger the fonts in application become. In 1280x1024 the fonts are so large that they render some UIs impossible to use.
Any idea why this happens and how it can be solved?