Any proper scaling in Cinnamon would be wonderful! All we get is 100% (which is too small or else we wouldn't be in the configuration looking at scaling settings, would we?) or 200% which is way too big. Double or nothing. Even Windows 7 gave us 110%, 120%, 130%, etc. so we could fine-tune the disp...