*/
/*
* add a new font mapping, or replace an existing one
*/
public void setFontMapping(String name, Font font) {
FontResolver resolver = getFontResolver();
if (resolver instanceof AWTFontResolver) {
((AWTFontResolver)resolver).setFontMapping(name, font);
}
}