aboutsummaryrefslogtreecommitdiff
path: root/helix-view
diff options
context:
space:
mode:
authorBlaž Hrastnik2021-05-07 05:52:47 +0000
committerBlaž Hrastnik2021-05-07 05:52:47 +0000
commitc0a8b814870335986b595af25a10330bfe077793 (patch)
tree0389cc5462dd5ce51e6ce29d7b8d02e9f4e3dc4b /helix-view
parentc20813690f962856efa1989576d9f7c91364f265 (diff)
Only send the document close event if we're closing the underlying buffer
Diffstat (limited to 'helix-view')
-rw-r--r--helix-view/src/editor.rs30
1 files changed, 15 insertions, 15 deletions
diff --git a/helix-view/src/editor.rs b/helix-view/src/editor.rs
index 435b2b7e..43311484 100644
--- a/helix-view/src/editor.rs
+++ b/helix-view/src/editor.rs
@@ -162,26 +162,26 @@ impl Editor {
Ok(id)
}
- pub fn close(&mut self, id: ViewId) {
+ pub fn close(&mut self, id: ViewId, close_buffer: bool) {
let view = self.tree.get(self.tree.focus);
- // get around borrowck issues
- let language_servers = &mut self.language_servers;
-
- let doc = &self.documents[view.doc];
+ // remove selection
+ self.documents[view.doc].selections.remove(&id);
- let language_server = doc
- .language
- .as_ref()
- .and_then(|language| language_servers.get(language));
+ if close_buffer {
+ // get around borrowck issues
+ let language_servers = &mut self.language_servers;
+ let doc = &self.documents[view.doc];
- if let Some(language_server) = language_server {
- tokio::spawn(language_server.text_document_did_close(doc.identifier()));
+ let language_server = doc
+ .language
+ .as_ref()
+ .and_then(|language| language_servers.get(language));
+ if let Some(language_server) = language_server {
+ tokio::spawn(language_server.text_document_did_close(doc.identifier()));
+ }
+ self.documents.remove(view.doc);
}
- // remove selection
- self.documents[view.doc].selections.remove(&id);
-
- // self.documents.remove(view.doc);
self.tree.remove(id);
self._refresh();
}