the behaviour of World is different from that of loading a local world. The first time it is executed, it should result in an updated menu item and no execution of the rest of the program. The second time, the instruction should be ignored, and the rest of the program should be executed.
If we load a distant world, e.g.
the behaviour of
World
is different from that of loading a local world. The first time it is executed, it should result in an updated menu item and no execution of the rest of the program. The second time, the instruction should be ignored, and the rest of the program should be executed.