Save cursor scroll position when the editor is auto-scrolled

2023-06-14 11:43:44 +02:00 · 2023-06-14 11:43:44 +02:00 · 56b0bf8601
commit 56b0bf8601
parent 1aa1774688
5 changed files with 29 additions and 16 deletions
--- a/crates/editor/src/editor.rs
+++ b/crates/editor/src/editor.rs
@ -7449,6 +7449,7 @@ pub enum Event {
    },
    ScrollPositionChanged {
        local: bool,
+        autoscroll: bool,
    },
    Closed,
 }