Called after a snip is deleted from the buffer (and after the display is refreshed; use on-delete and begin-edit-sequence to avoid extra refreshes when after-delete modifies the buffer).
