127128129130131132133
*/ public void setFont( String key, Font font ){ if( font == null ) setFont( key, (FontModifier)null ); else setFont( key, new ConstantFontModifier( font ) ); }