Change font rather than scaledFont (which wasn't used anymore) when
changing font size.  Fixes #2785