static int gppi_raw(void *handle, char *name, int def) { def = platform_default_i(name, def); return read_setting_i(handle, name, def); }
//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(IStore* iStorage, void *handle, char *name, int def, int *i) { def = platform_default_i(name, def); *i = iStorage->read_setting_i(handle, name, def); }