Method setPossibleWorlds

src/gui/Gui.java:178–180

(Vector<World> worldNames)

	// input
	public void setPossibleWorlds(Vector<World> worldNames) {
		this.inputPanel.setPossibleWorlds(worldNames);
	}

	public void setPossibleCoordinates(Vector<LabeledCoordinates> coordinateNames) {
		this.inputPanel.setPossibleCoordinates(coordinateNames);