misc_gui.c
changeset 959 e6a3bbda610f
parent 926 a6d140a6a4de
child 980 6b3163c417ab
equal deleted inserted replaced
958:a6217005ff41 959:e6a3bbda610f
   211 		WP(w, general_d).j = w->height - 40;
   211 		WP(w, general_d).j = w->height - 40;
   212 		break;
   212 		break;
   213 	case WE_PAINT: {
   213 	case WE_PAINT: {
   214 		const char *str;
   214 		const char *str;
   215 		char buffer[100];
   215 		char buffer[100];
   216 		int i;
   216 		uint i;
   217 		int y = WP(w, general_d).j;
   217 		int y = WP(w, general_d).j;
   218 		DrawWindowWidgets(w);
   218 		DrawWindowWidgets(w);
   219 
   219 
   220 		// Show original copyright and revision version
   220 		// Show original copyright and revision version
   221 		DrawStringCentered(200, 17, STR_00B6_ORIGINAL_COPYRIGHT, 0);
   221 		DrawStringCentered(200, 17, STR_00B6_ORIGINAL_COPYRIGHT, 0);