@@ -427,24 +427,25 @@ impl Application {
429 pub fn handle_document_write(&mut self, doc_save_event: DocumentSavedEventResult) {
429 pub fn handle_document_write(&mut self, doc_save_event: DocumentSavedEventResult) {
430− if let Err(err) = doc_save_event {
430+ let doc_save_event = match doc_save_event {
431− self.editor.set_error(err.to_string());
433+ self.editor.set_error(err.to_string());
435− let doc_save_event = doc_save_event.unwrap();
436− let doc = self.editor.document_mut(doc_save_event.doc_id);
440− "received document saved event for non-existent doc id: {}",
441− doc_save_event.doc_id
444− return;
438+ let doc = match self.editor.document_mut(doc_save_event.doc_id) {
441+ "received document saved event for non-existent doc id: {}",
442+ doc_save_event.doc_id
447− let doc = doc.unwrap();
445+ return;
450 "document {:?} saved with revision {}",
451 "document {:?} saved with revision {}",
@@ -472,7 +473,7 @@ impl Application {
472 let loader = self.editor.syn_loader.clone();
473 let loader = self.editor.syn_loader.clone();
474 // borrowing the same doc again to get around the borrow checker
475 // borrowing the same doc again to get around the borrow checker
475− let doc = self.editor.document_mut(doc_save_event.doc_id).unwrap();
476+ let doc = doc_mut!(self.editor, &doc_save_event.doc_id);
476 let id = doc.id();
477 let id = doc.id();
477 doc.detect_language(loader);
478 doc.detect_language(loader);
478 let _ = self.editor.refresh_language_server(id);
479 let _ = self.editor.refresh_language_server(id);