Fix different document panic (#3160)
Would panic when given the view for the current document for a different document.
commitdfc31e74af1b96d9097496f1faa38710ecd30580
authorKyle L. Davis <kyle.l.davis57@gmail.com>
dateSat 23 Jul 2022, 04:42 (4 years ago)
parent1b3a10d
helix-view/src/editor.rs+1
@@ -878,6 +878,7 @@ impl Editor {
878878 let view = self
879879 .tree
880880 .try_get(self.tree.focus)
881+ .filter(|v| id == v.doc) // Different Document
881882 .cloned()
882883 .unwrap_or_else(|| View::new(id, self.config().gutters.clone()));
883884 let view_id = self.tree.split(