Oh crap! The bug, that's been around for ever, that causes the font point size to intermittently not drop down is still there.

PLEASE can it be fixed it's very annoying.