feat: configure half-page viewport scroll distance

2026-10-16 10:25:27 +02:00
parent 5a8c37b2f2
commit 284ddd3713
11 changed files with 96 additions and 7 deletions
@@ -512,6 +512,7 @@ impl EditorSession {
        editor.set_git_blame(config.git_blame);
        editor.set_gutter_style(config.git_gutter);
        editor.set_scroll_distance(config.scroll_distance);
+        editor.set_scroll_half_page_lines(config.scroll_half_page_lines);
        editor.set_highlight_trailing_whitespace(config.highlight_trailing_whitespace);
        editor.set_whitespace_characters(config.whitespace_characters);
        editor.set_whitespace_scope(config.whitespace_scope);