settings_gui.c
changeset 629 ce914eb4023d
parent 625 682ead270492
child 631 4da54d38331f
equal deleted inserted replaced
628:717b50d76e4b 629:ce914eb4023d
  1003 			break;
  1003 			break;
  1004 	}
  1004 	}
  1005 
  1005 
  1006 	/* We did not found the patch setting */
  1006 	/* We did not found the patch setting */
  1007 	if (!found) {
  1007 	if (!found) {
  1008 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch settings", name);
  1008 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
  1009 		return;
  1009 		return;
  1010 	}
  1010 	}
  1011 
  1011 
  1012 	val = atoi(value);
  1012 	val = atoi(value);
  1013 
  1013 
  1061 			break;
  1061 			break;
  1062 	}
  1062 	}
  1063 
  1063 
  1064 	/* We did not found the patch setting */
  1064 	/* We did not found the patch setting */
  1065 	if (!found) {
  1065 	if (!found) {
  1066 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch settings", name);
  1066 		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
  1067 		return;
  1067 		return;
  1068 	}
  1068 	}
  1069 
  1069 
  1070 	/* 'pe' is now the correct patch setting */
  1070 	/* 'pe' is now the correct patch setting */
  1071 	switch(pe->type) {
  1071 	switch(pe->type) {