fix: View needs to retain the original scroll offset on split

pull/3701/head
Blaž Hrastnik 2 years ago
parent 9c3c6a1c22
commit 1acdfaa073
No known key found for this signature in database
GPG Key ID: 1238B9C4AD889640

@ -4142,12 +4142,16 @@ fn split(cx: &mut Context, action: Action) {
let (view, doc) = current!(cx.editor); let (view, doc) = current!(cx.editor);
let id = doc.id(); let id = doc.id();
let selection = doc.selection(view.id).clone(); let selection = doc.selection(view.id).clone();
let offset = view.offset;
cx.editor.switch(id, action); cx.editor.switch(id, action);
// match the selection in the previous view // match the selection in the previous view
let (view, doc) = current!(cx.editor); let (view, doc) = current!(cx.editor);
doc.set_selection(view.id, selection); doc.set_selection(view.id, selection);
// match the view scroll offset (switch doesn't handle this fully
// since the selection is only matched after the split)
view.offset = offset;
} }
fn hsplit(cx: &mut Context) { fn hsplit(cx: &mut Context) {

Loading…
Cancel
Save