Example #1
0
static int gppi_raw(void *handle, char *name, int def)
{
    def = platform_default_i(name, def);
    return read_setting_i(handle, name, def);
}
Example #2
0
//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);
}
Example #3
0
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);
}