public UIFont getUIFont (Font font) {
if (font == null) font = IOSFont.defaultFont();
String iosName = ((IOSFont)font).iosName();
UIFont uiFont = UIFont.FromName(iosName, font.size());
if (uiFont != null) return uiFont;
if (iosName.equals(IOSFont.defaultFont().iosName())) {
log.warning("Font shenanigans, default font not found!", "font", font);
return null;