This PR adds a guard against null document model references in document.close. This is necessary because the menu system can't guarantee that this action will only be played when a valid document model exists because the menu system's rebuilds are debounced. See discussion in #3678. We should be on the lookout for other instances of this unsound assumption.
This PR adds a guard against null document model references in
document.close
. This is necessary because the menu system can't guarantee that this action will only be played when a valid document model exists because the menu system's rebuilds are debounced. See discussion in #3678. We should be on the lookout for other instances of this unsound assumption.Addresses #3678.