const SAVE_SETTLE_TIME: Duration;
Editors often save in several steps; changes this close together reload once.