diff options
author | Omnikar | 2021-10-31 00:42:49 +0000 |
---|---|---|
committer | GitHub | 2021-10-31 00:42:49 +0000 |
commit | 2f8ad7f890d99dfcad7c7a5e0b35ee5a39fcd3d0 (patch) | |
tree | 04484d8ab2075c7580569cb27d3a52173257a7a0 /helix-view/src | |
parent | 592fba11005ef6f2eda09285b34b24eeea5efc25 (diff) |
If switching away from an empty scratch buffer, remove it (#935)
* If switching away from an empty scratch buffer, remove it
* Move `view.jumps.push` call into `else` clause
* Refactor
Diffstat (limited to 'helix-view/src')
-rw-r--r-- | helix-view/src/editor.rs | 30 |
1 files changed, 22 insertions, 8 deletions
diff --git a/helix-view/src/editor.rs b/helix-view/src/editor.rs index 09fc3334..21a64651 100644 --- a/helix-view/src/editor.rs +++ b/helix-view/src/editor.rs @@ -232,15 +232,29 @@ impl Editor { match action { Action::Replace => { - let view = view!(self); - let jump = ( - view.doc, - self.documents[view.doc].selection(view.id).clone(), - ); - + let (view, doc) = current_ref!(self); + // If the current view is an empty scratch buffer and is not displayed in any other views, delete it. + // Boolean value is determined before the call to `view_mut` because the operation requires a borrow + // of `self.tree`, which is mutably borrowed when `view_mut` is called. + let remove_empty_scratch = !doc.is_modified() + // If the buffer has no path and is not modified, it is an empty scratch buffer. + && doc.path().is_none() + // Ensure the buffer is not displayed in any other splits. + && !self + .tree + .traverse() + .any(|(_, v)| v.doc == doc.id && v.id != view.id); let view = view_mut!(self); - view.jumps.push(jump); - view.last_accessed_doc = Some(view.doc); + if remove_empty_scratch { + // Copy `doc.id` into a variable before calling `self.documents.remove`, which requires a mutable + // borrow, invalidating direct access to `doc.id`. + let id = doc.id; + self.documents.remove(id); + } else { + let jump = (view.doc, doc.selection(view.id).clone()); + view.jumps.push(jump); + view.last_accessed_doc = Some(view.doc); + } view.doc = id; view.offset = Position::default(); |