map_has_changed


Description:

public void map_has_changed ()