コード例 #1
0
ファイル: settings.c プロジェクト: alexeyaa/putty-cac
static int gppi_raw(void *handle, char *name, int def)
{
    def = platform_default_i(name, def);
    return read_setting_i(handle, name, def);
}
コード例 #2
0
ファイル: settings.c プロジェクト: zhangbo7364/terminal
//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);
}
コード例 #3
0
ファイル: settings.c プロジェクト: abyvaltsev/putty-nd3.x
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);
}