- if (name.equals("6x10")) { size = 8; fixed = true; }
- else if (name.equals("6x10bold")) { size = 8; fixed = true; bold = true; }
- else if (name.equals("fixed")) { size = 12; fixed = true; }
- else if (name.equals("9x15")) { size = 12; fixed = true; }
- else if (name.equals("9x15bold")) { size = 12; fixed = true; bold = true; }
- else if (name.equals("vga")) { size = 12; fixed = true; }
- else if (name.equals("console")) { size = 12; fixed = true; }
- else if (name.equals("gallant")) { size = 12; fixed = true; }
- else {
- String[] tokens = name.split("-"); // XLFD
- int L = tokens.length;
- int i = 1;
- String foundry = (i < L ? tokens[i++] : "");
- String family = (i < L ? tokens[i++] : "");
- String weight = (i < L ? tokens[i++] : "");
- String slant = (i < L ? tokens[i++] : "");
- String setwidth = (i < L ? tokens[i++] : "");
- String adstyle = (i < L ? tokens[i++] : "");
- String pxsize = (i < L ? tokens[i++] : "");
- String ptsize = (i < L ? tokens[i++] : "");
- String resx = (i < L ? tokens[i++] : "");
- String resy = (i < L ? tokens[i++] : "");
- String spacing = (i < L ? tokens[i++] : "");
- String avgw = (i < L ? tokens[i++] : "");
- String charset = (i < L ? tokens[i++] : "");
- String registry = (i < L ? tokens[i++] : "");
-
- if (spacing.equals("m") ||
- family.equals("fixed") ||
- family.equals("courier") ||
- family.equals("console") ||
- family.equals("lucidatypewriter")) {
+ int style_jwxyz = mask & traits;
+
+ if (name_type != FONT_RANDOM) {
+ if ((style_jwxyz & STYLE_BOLD) != 0 ||
+ name.equals("fixed") ||
+ name.equals("courier") ||
+ name.equals("console") ||
+ name.equals("lucidatypewriter") ||
+ name.equals("monospace")) {
+ fixed = true;
+ } else if (name.equals("times") ||
+ name.equals("georgia") ||
+ name.equals("serif")) {
+ serif = true;
+ } else if (name.equals("serif-monospace")) {