settings_gui.c
changeset 1113 da5c5c571541
parent 1095 b59632d9df1b
child 1218 c6a624956ac6
equal deleted inserted replaced
1112:d8503ef77898 1113:da5c5c571541
   165 		case 8: /* Distance units */
   165 		case 8: /* Distance units */
   166 			_opt_mod_ptr->kilometers = e->dropdown.index;
   166 			_opt_mod_ptr->kilometers = e->dropdown.index;
   167 			MarkWholeScreenDirty();
   167 			MarkWholeScreenDirty();
   168 			break;
   168 			break;
   169 		case 11: /* Road side */
   169 		case 11: /* Road side */
   170 			if (_opt_mod_ptr->road_side != e->dropdown.index) // only change if setting changed
   170 			if (_opt_mod_ptr->road_side != e->dropdown.index) { // only change if setting changed
   171 				DoCommandP(0, e->dropdown.index, 0, NULL, CMD_SET_ROAD_DRIVE_SIDE | CMD_MSG(STR_EMPTY));
   171 				DoCommandP(0, e->dropdown.index, 0, NULL, CMD_SET_ROAD_DRIVE_SIDE | CMD_MSG(STR_EMPTY));
       
   172 				MarkWholeScreenDirty();
       
   173 			}
   172 			break;
   174 			break;
   173 		case 14: /* Town names */
   175 		case 14: /* Town names */
   174 			if (_game_mode == GM_MENU)
   176 			if (_game_mode == GM_MENU)
   175 				DoCommandP(0, e->dropdown.index, 0, NULL, CMD_SET_TOWN_NAME_TYPE | CMD_MSG(STR_EMPTY));
   177 				DoCommandP(0, e->dropdown.index, 0, NULL, CMD_SET_TOWN_NAME_TYPE | CMD_MSG(STR_EMPTY));
   176 			break;
   178 			break;