mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-11 12:46:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

Restore document highlights when canceling a rename

Browse source
This commit is contained in:
Max Brunsfeld 2022-07-12 17:01:18 -07:00
parent 69f517ead5
commit b7109ea4fc
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
crates/editor/src/editor.rs
View file

@ -4979,6 +4979,8 @@ impl Editor {
self.change_selections(None, cx, |s| { self.change_selections(None, cx, |s| {
s.select_ranges(vec![cursor_in_editor..cursor_in_editor]) s.select_ranges(vec![cursor_in_editor..cursor_in_editor])
}); });
} else {
self.refresh_document_highlights(cx);
} }
Some(rename) Some(rename)