Maybe, I don't think a lot of people need to change the font but it would be nice