const char *name;
const char *cname;
} pucol[numcol] = {
- BACKGROUND, PUCOL_BACKGROUND, "background", "color-background",
- FOREGROUND, PUCOL_FOREGROUND, "foreground", "color-foreground",
- HIGHLIGHT, PUCOL_HIGHLIGHT, "highlight", "color-highlight",
- LABEL, PUCOL_LABEL, "label", "color-label",
- LEGEND, PUCOL_LEGEND, "legend", "color-legend",
- MISC, PUCOL_MISC, "misc", "color-misc",
+ { BACKGROUND, PUCOL_BACKGROUND, "background", "color-background" },
+ { FOREGROUND, PUCOL_FOREGROUND, "foreground", "color-foreground" },
+ { HIGHLIGHT, PUCOL_HIGHLIGHT, "highlight", "color-highlight" },
+ { LABEL, PUCOL_LABEL, "label", "color-label" },
+ { LEGEND, PUCOL_LEGEND, "legend", "color-legend" },
+ { MISC, PUCOL_MISC, "misc", "color-misc" }
};
for (int i = 0; i < numcol; i++) {
char *name;
puFont *font;
} guifonts[] = {
- "default", &FONT_HELVETICA_14,
- "FIXED_8x13", &PUFONT_8_BY_13,
- "FIXED_9x15", &PUFONT_9_BY_15,
- "TIMES_10", &PUFONT_TIMES_ROMAN_10,
- "TIMES_24", &PUFONT_TIMES_ROMAN_24,
- "HELVETICA_10", &PUFONT_HELVETICA_10,
- "HELVETICA_12", &PUFONT_HELVETICA_12,
- "HELVETICA_14", &FONT_HELVETICA_14,
- "HELVETICA_18", &PUFONT_HELVETICA_18,
- "SANS_12B", &FONT_SANS_12B,
- 0, 0,
+ { "default", &FONT_HELVETICA_14 },
+ { "FIXED_8x13", &PUFONT_8_BY_13 },
+ { "FIXED_9x15", &PUFONT_9_BY_15 },
+ { "TIMES_10", &PUFONT_TIMES_ROMAN_10 },
+ { "TIMES_24", &PUFONT_TIMES_ROMAN_24 },
+ { "HELVETICA_10", &PUFONT_HELVETICA_10 },
+ { "HELVETICA_12", &PUFONT_HELVETICA_12 },
+ { "HELVETICA_14", &FONT_HELVETICA_14 },
+ { "HELVETICA_18", &PUFONT_HELVETICA_18 },
+ { "SANS_12B", &FONT_SANS_12B },
+ { 0, 0 }
};
void