mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-10-26 08:31:04 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 4

Remove selection set when an editor is closed

Browse source
This commit is contained in:
Antonio Scandurra 2021-06-28 11:43:21 +02:00
parent e2b9ab500f
commit 0bc8663d36
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
zed/src/editor.rs
View file

@ -2410,6 +2410,14 @@ pub enum Event {
impl Entity for Editor { impl Entity for Editor {
type Event = Event; type Event = Event;
fn release(&mut self, cx: &mut MutableAppContext) {
self.buffer.update(cx, |buffer, cx| {
buffer
.remove_selection_set(self.selection_set_id, cx)
.unwrap();
});
}
} }
impl View for Editor { impl View for Editor {