src/settings_gui.cpp
branchNewGRF_ports
changeset 10994 cd9968b6f96b
parent 10991 d8811e327d12
equal deleted inserted replaced
10991:d8811e327d12 10994:cd9968b6f96b
    91 static int GetCurRes()
    91 static int GetCurRes()
    92 {
    92 {
    93 	int i;
    93 	int i;
    94 
    94 
    95 	for (i = 0; i != _num_resolutions; i++) {
    95 	for (i = 0; i != _num_resolutions; i++) {
    96 		if (_resolutions[i][0] == _screen.width &&
    96 		if (_resolutions[i].width == _screen.width &&
    97 				_resolutions[i][1] == _screen.height) {
    97 				_resolutions[i].height == _screen.height) {
    98 			break;
    98 			break;
    99 		}
    99 		}
   100 	}
   100 	}
   101 	return i;
   101 	return i;
   102 }
   102 }
   300 				UpdateAllWaypointSigns();
   300 				UpdateAllWaypointSigns();
   301 				MarkWholeScreenDirty();
   301 				MarkWholeScreenDirty();
   302 				break;
   302 				break;
   303 
   303 
   304 			case GAMEOPT_RESOLUTION_BTN: // Change resolution
   304 			case GAMEOPT_RESOLUTION_BTN: // Change resolution
   305 				if (index < _num_resolutions && ChangeResInGame(_resolutions[index][0], _resolutions[index][1])) {
   305 				if (index < _num_resolutions && ChangeResInGame(_resolutions[index].width, _resolutions[index].height)) {
   306 					this->SetDirty();
   306 					this->SetDirty();
   307 				}
   307 				}
   308 				break;
   308 				break;
   309 
   309 
   310 			case GAMEOPT_SCREENSHOT_BTN: // Change screenshot format
   310 			case GAMEOPT_SCREENSHOT_BTN: // Change screenshot format