mouse operations respect scrolloff (#5255)

pull/5266/head
jliaoh 2 years ago committed by GitHub
parent 1107296ca9
commit df1830ef28
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1155,6 +1155,7 @@ impl EditorView {
} }
editor.focus(view_id); editor.focus(view_id);
editor.ensure_cursor_in_view(view_id);
return EventResult::Consumed(None); return EventResult::Consumed(None);
} }
@ -1191,7 +1192,8 @@ impl EditorView {
let primary = selection.primary_mut(); let primary = selection.primary_mut();
*primary = primary.put_cursor(doc.text().slice(..), pos, true); *primary = primary.put_cursor(doc.text().slice(..), pos, true);
doc.set_selection(view.id, selection); doc.set_selection(view.id, selection);
let view_id = view.id;
cxt.editor.ensure_cursor_in_view(view_id);
EventResult::Consumed(None) EventResult::Consumed(None)
} }
@ -1213,6 +1215,7 @@ impl EditorView {
commands::scroll(cxt, offset, direction); commands::scroll(cxt, offset, direction);
cxt.editor.tree.focus = current_view; cxt.editor.tree.focus = current_view;
cxt.editor.ensure_cursor_in_view(current_view);
EventResult::Consumed(None) EventResult::Consumed(None)
} }

Loading…
Cancel
Save