Fix crash on opening jumplist (#6672)

Co-authored-by: Esra Fokker <esra.fokker@finalist.nl>
pull/6716/head
EsfoNL 2 years ago committed by GitHub
parent b9b4ed5c6c
commit 2f82bc13e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -2547,6 +2547,13 @@ fn jumplist_picker(cx: &mut Context) {
} }
} }
for (view, _) in cx.editor.tree.views_mut() {
for doc_id in view.jumps.iter().map(|e| e.0).collect::<Vec<_>>().iter() {
let doc = doc_mut!(cx.editor, doc_id);
view.sync_changes(doc);
}
}
let new_meta = |view: &View, doc_id: DocumentId, selection: Selection| { let new_meta = |view: &View, doc_id: DocumentId, selection: Selection| {
let doc = &cx.editor.documents.get(&doc_id); let doc = &cx.editor.documents.get(&doc_id);
let text = doc.map_or("".into(), |d| { let text = doc.map_or("".into(), |d| {

Loading…
Cancel
Save