Since we can't create a font, there's no point in having the textFont() function either. There is effectively no way to set the font.
Since we can't create a font, there's no point in having the textFont() function either. There is effectively no way to set the font.