Please make Preferences changes platform independent

[Erica]

Here’s a feature request for the same thing (I think): Device/app specific font sizes