Font question

I know I can set the default family name, but what about size?

There’s no such things as a default size… what are you trying to do?

I want to use a “pixelated” font to get around the anti-aliasing. It has to be size 9, everywhere. I’m already doing my own look and feel so those bits are covered there, I guess I can just go after the rest manually, reimplementing textbutton and so forth.

I was just hoping there was a quicker way.