awt.FontMetrics GetMetrics(FontStyle style)
 {
     if ((_lastStyle != style) || (_fontMetrics == null))
     {
         java.util.Map attrib = Font.DeriveStyle(FamilyFont.getAttributes(), style, true);
         attrib.put(TextAttribute.SIZE, new java.lang.Float((float)(UnitsPerEm << 1)));
         _fontMetrics = Container.getFontMetrics(FamilyFont.deriveFont(attrib));
     }
     return(_fontMetrics);
 }
예제 #2
0
        public string GetName(int language)
        {
            try {
                CultureInfo      culture = new CultureInfo(language, false);
                java.util.Locale locale  = [email protected](culture);

                return(FamilyFont.getFamily(locale));
            }
            catch {
                return(Name);
            }
        }