reload-all: Only update viewport when view focuses on the doc (#4901)

pull/4906/head
Filipe Azevedo 2 years ago committed by GitHub
parent fc811726e0
commit f0f295a667
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1070,10 +1070,11 @@ fn reload_all(
for view_id in view_ids {
let view = view_mut!(cx.editor, view_id);
if view.doc.eq(&doc_id) {
view.ensure_cursor_in_view(doc, scrolloff);
}
}
}
Ok(())
}

Loading…
Cancel
Save