Merge branch 'house_placing' into jgrpp

This commit is contained in:
Jonathan G Rennison
2015-09-09 19:48:02 +01:00
3 changed files with 19 additions and 5 deletions

View File

@@ -1717,6 +1717,9 @@ static WindowDesc _house_picker_desc(
*/
void ShowBuildHousePicker(Window *parent)
{
if (BringWindowToFrontById(WC_BUILD_HOUSE, 0) != NULL) {
return;
}
new HousePickerWindow(&_house_picker_desc, parent);
}