settings_gui.c
changeset 4196 1df4eeea1f81
parent 3900 2c84ed52709d
child 4211 5ee54ab361c9
equal deleted inserted replaced
4195:600bd419c335 4196:1df4eeea1f81
   190 				_opt_ptr->town_name = e->dropdown.index;
   190 				_opt_ptr->town_name = e->dropdown.index;
   191 				InvalidateWindow(WC_GAME_OPTIONS, 0);
   191 				InvalidateWindow(WC_GAME_OPTIONS, 0);
   192 			}
   192 			}
   193 			break;
   193 			break;
   194 		case 17: /* Autosave options */
   194 		case 17: /* Autosave options */
   195 			_opt_ptr->autosave = e->dropdown.index;
   195 			_opt.autosave = _opt_newgame.autosave = e->dropdown.index;
   196 			SetWindowDirty(w);
   196 			SetWindowDirty(w);
   197 			break;
   197 			break;
   198 		case 24: /* Change interface language */
   198 		case 24: /* Change interface language */
   199 			ReadLanguagePack(e->dropdown.index);
   199 			ReadLanguagePack(e->dropdown.index);
   200 			MarkWholeScreenDirty();
   200 			MarkWholeScreenDirty();