@@ -700,7 +700,7 @@ impl Editor {
700 let view_id = view!(self).id;
700 let view_id = view!(self).id;
701 let doc = self.documents.get_mut(&id).unwrap();
701 let doc = self.documents.get_mut(&id).unwrap();
702 if doc.selections().is_empty() {
702 if doc.selections().is_empty() {
703− doc.selections.insert(view_id, Selection::point(0));
703+ doc.set_selection(view_id, Selection::point(0));
@@ -716,7 +716,7 @@ impl Editor {
717 // initialize selection for view
717 // initialize selection for view
718 let doc = self.documents.get_mut(&id).unwrap();
718 let doc = self.documents.get_mut(&id).unwrap();
719− doc.selections.insert(view_id, Selection::point(0));
719+ doc.set_selection(view_id, Selection::point(0));
@@ -851,7 +851,7 @@ impl Editor {
851 let view = View::new(doc_id, self.config().gutters.clone());
851 let view = View::new(doc_id, self.config().gutters.clone());
852 let view_id = self.tree.insert(view);
852 let view_id = self.tree.insert(view);
853 let doc = self.documents.get_mut(&doc_id).unwrap();
853 let doc = self.documents.get_mut(&doc_id).unwrap();
854− doc.selections.insert(view_id, Selection::point(0));
854+ doc.set_selection(view_id, Selection::point(0));
857 self._refresh();
857 self._refresh();