WPrefs.app/font.data

   1 {
   2     Encodings = (("default", 0, "iso8859-1",
   3                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890"),
   4                  ("latin1 iso8859-1", 0, "iso8859-1",
   5                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890"),
   6                  ("latin2 iso8859-2", 0, "iso8859-2",
   7                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890"),
   8                  ("Greek iso8859-7", 0, "iso8859-7",
   9                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890"),
  10                  ("Japanese jis", 1, "jis",
  11                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890"),
  12                  ("Korean ksc5601", 1, "ksc5601",
  13                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890"),
  14                  ("Russian koi8", 0, "koi8",
  15                   "ABCDEFGHIKLMNOPQRSTUVXYWZabcdefghiklmnopqrstuvxywz\n1234567890")
  16                  );
  17
  18     WindowTitleFont = {
  19         "iso8859-1" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-iso8859-1");
  20         "iso8859-2" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-iso8859-2");
  21         "iso8859-7" = ("-*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-7");
  22         "jis" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*",
  23                  "-*-*-medium-r-normal-*-14-*",
  24                  "-*-*-medium-r-normal-*-*-*");
  25         "ksc5601" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*",
  26                      "-*-kodig-medium-r-normal--12-*-*-*-*-*-*-*",
  27                      "-*-*-medium-r-normal--12-*-*-*-*-*-*-*",
  28                      "-*-*-medium-r-normal--*-*-*-*-*-*-*-*",
  29                      "-*-*-*-r-normal--*-*-*-*-*-*-*-*",
  30                      "-*-*-*-*-*--*-*-*-*-*-*-*-*","*");
  31         "koi8" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-koi8-r");
  32     };
  33
  34     MenuTitleFont = {
  35         "iso8859-1" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-iso8859-1");
  36         "iso8859-2" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-iso8859-2");
  37         "iso8859-7" = ("-*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-7");
  38         "jis" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*",
  39                  "-*-*-medium-r-normal-*-14-*",
  40                  "-*-*-medium-r-normal-*-*-*");
  41         "ksc5601" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*",
  42                      "-*-kodig-medium-r-normal--12-*-*-*-*-*-*-*",
  43                      "-*-*-medium-r-normal--12-*-*-*-*-*-*-*",
  44                      "-*-*-medium-r-normal--*-*-*-*-*-*-*-*",
  45                      "-*-*-*-r-normal--*-*-*-*-*-*-*-*",
  46                      "-*-*-*-*-*--*-*-*-*-*-*-*-*","*");
  47         "koi8" = ("-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-koi8-r");
  48     };
  49
  50     MenuTextFont = {
  51         "iso8859-1" = ("-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-iso8859-1");
  52         "iso8859-2" = ("-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-iso8859-2");
  53         "iso8859-7" = ("-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-iso8859-7");
  54         "jis" = ("-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
  55                  "-*-*-medium-r-medium-*-14-*",
  56                  "-*-*-medium-r-medium-*-*-*");
  57         "ksc5601" = ("-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
  58                      "-*-kodig-medium-r-normal--12-*-*-*-*-*-*-*",
  59                      "-*-*-medium-r-normal--12-*-*-*-*-*-*-*",
  60                      "-*-*-medium-r-normal--*-*-*-*-*-*-*-*",
  61                      "-*-*-*-r-normal--*-*-*-*-*-*-*-*",
  62                      "-*-*-*-*-*--*-*-*-*-*-*-*-*","*");
  63         "koi8" = ("-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-koi8-r");
  64     };
  65 }
  66
  67