fontnamety

type fontnamety = (

  fn_foundry,

  fn_family_name,

  fn_weight_name,

  fn_slant,

  fn_setwidth_name,

  fn_addstyle_name,

  fn_pixel_size,

  fn_point_size,

  fn_resolution_x,

  fn_resolution_y,

  fn_spacing,

  fn_average_width,

  fn_charset_registry,

  fn_encoding

);