int read_setting_fontspec(void *handle, const char *name, FontSpec *result) { char *settingname; FontSpec ret; char tmp[256]; if (!read_setting_s(handle, name, tmp, sizeof(tmp))) return 0; c2pstrcpy(ret.name, tmp); settingname = dupcat(name, "Face", NULL); ret.face = read_setting_i(handle, settingname, 0); sfree(settingname); settingname = dupcat(name, "Height", NULL); ret.size = read_setting_i(handle, settingname, 0); sfree(settingname); if (ret.size == 0) return 0; *result = ret; return 1; }
//static void gppfont(void *handle, const char *name, FontSpec *result) { // if (!read_setting_fontspec(handle, name, result)) // *result = platform_default_fontspec(name); //} //static void gppfile(void *handle, const char *name, Filename *result) { // if (!read_setting_filename(handle, name, result)) // *result = platform_default_filename(name); //} static void gppi(void *handle, char *name, int def, int *i) { def = platform_default_i(name, def); *i = read_setting_i(handle, name, def); }
static void gppi(void *handle, char *name, int def, int *i) { *i = read_setting_i(handle, name, def); }
static int gppi_raw(void *handle, char *name, int def) { def = platform_default_i(name, def); return read_setting_i(handle, name, def); }