That sounds plainly better. Being pixel agnostic by allowing everything to scale as the user pleases will allow a broader range of users to configure their system as they prefer it. (Last I checked, OSX on retina devices couldn't even use the actual resolution of the screen without third party extensions... A problem I don't have in Linux with a high-dpi screen).