correctly re-render gutter annotations when annotation is deleted.