Prompt to download a missing city. On either success or failure (maybe the player choosing to not download, maybe a network error), the new map isn’t automatically loaded or anything; up to the caller to handle that.

size_of_city

How many bytes to download for a city?

Module map_gui::tools::updater[−][src]

Constants

Functions