Wire up refresh_anchors in Editor::refresh_selections and call it

This commit is contained in:
Antonio Scandurra 2022-01-06 15:32:37 +01:00
parent 7340e83059
commit f37f839330
2 changed files with 13 additions and 2 deletions

View file

@ -364,6 +364,8 @@ impl ProjectDiagnosticsEditor {
for group_state in &mut groups_to_add {
group_state.blocks = block_ids.by_ref().take(group_state.block_count).collect();
}
editor.refresh_selections(cx);
});
for ix in group_ixs_to_remove.into_iter().rev() {