Merge pull request #1336 from zed-industries/cancel-rename-restore-highlights

Restore document highlights when canceling a rename
This commit is contained in:
Max Brunsfeld
2022-07-12 18:35:29 -07:00
committed by GitHub
+2
View File
@@ -4979,6 +4979,8 @@ impl Editor {
self.change_selections(None, cx, |s| {
s.select_ranges(vec![cursor_in_editor..cursor_in_editor])
});
} else {
self.refresh_document_highlights(cx);
}
Some(rename)