}
RawData ret = fontStringToStruct(target);
if (ret == null) ret = fontStringToStruct("fixed");
+ if (Log.on) Log.log(POSIX.class, "mapping font \"" + s + "\" to \"" + target + "\"");
xwtFontToFontStruct.put(s, new WrappedRawData(ret));
return ret;
}