equal
deleted
inserted
replaced
599 * |
599 * |
600 * @param player player whose stations' list show |
600 * @param player player whose stations' list show |
601 */ |
601 */ |
602 void ShowPlayerStations(PlayerID player) |
602 void ShowPlayerStations(PlayerID player) |
603 { |
603 { |
604 if (!IsValidPlayer(player)) return; |
604 if (!IsValidPlayerID(player)) return; |
605 |
605 |
606 AllocateWindowDescFront<PlayerStationsWindow>(&_player_stations_desc, player); |
606 AllocateWindowDescFront<PlayerStationsWindow>(&_player_stations_desc, player); |
607 } |
607 } |
608 |
608 |
609 static const Widget _station_view_widgets[] = { |
609 static const Widget _station_view_widgets[] = { |