|
|
@ -5138,6 +5138,8 @@ fn jump_forward(cx: &mut Context) {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
doc.set_selection(view.id, selection);
|
|
|
|
doc.set_selection(view.id, selection);
|
|
|
|
|
|
|
|
// Document we switch to might not have been opened in the view before
|
|
|
|
|
|
|
|
doc.ensure_view_init(view.id);
|
|
|
|
view.ensure_cursor_in_view_center(doc, config.scrolloff);
|
|
|
|
view.ensure_cursor_in_view_center(doc, config.scrolloff);
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|
|
|
|
}
|
|
|
@ -5158,6 +5160,8 @@ fn jump_backward(cx: &mut Context) {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
doc.set_selection(view.id, selection);
|
|
|
|
doc.set_selection(view.id, selection);
|
|
|
|
|
|
|
|
// Document we switch to might not have been opened in the view before
|
|
|
|
|
|
|
|
doc.ensure_view_init(view.id);
|
|
|
|
view.ensure_cursor_in_view_center(doc, config.scrolloff);
|
|
|
|
view.ensure_cursor_in_view_center(doc, config.scrolloff);
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|
|
|
|
}
|
|
|
|