Is there a way to slow the animation speed on the campaign map? I tried changing "campaign_map_game_speed = 99" in preferences, but it reverts to 99 again it seems.