2
I just installed Linux Mint 15 Cinnamon in a VM on my Retina Macbook Pro. It all works just fine, but I'm currently bound to running it at 1280x800 because otherwise all the text becomes illegibly small.
Is there some way to change screen DPI, in such a way that text and possibly also GUI elements will scale up to look ok on larger resolutions?
If this isn't possible in Cinnamon, can you recommend another DE that will play nicely with high-DPI screens? I've heard KDE works quite well, but if you know another one that isn't such a resource hog, that would be much appreciated.