Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Use last snapshot to resolve scroll position where possible

Browse source
This commit is contained in:
MrSubidubi 2025-07-09 14:02:00 +02:00
parent 86324b0935
commit bd4098ca2d
1 changed files with 14 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/editor/src/scroll.rs
View file

@ -623,8 +623,20 @@ impl Editor {
} }
pub fn scroll_position(&self, cx: &mut Context<Self>) -> gpui::Point<f32> { pub fn scroll_position(&self, cx: &mut Context<Self>) -> gpui::Point<f32> {
let display_map = self.display_map.update(cx, |map, cx| map.snapshot(cx)); self.last_position_map
self.scroll_manager.anchor.scroll_position(&display_map) .as_ref()
.map(|position_map| {
self.scroll_manager
.anchor
.scroll_position(&position_map.snapshot)
})
.unwrap_or_else(|| {
self.scroll_manager.anchor.scroll_position(
&self
.display_map
.update(cx, |display_map, cx| display_map.snapshot(cx)),
)
})
} }
pub fn set_scroll_anchor( pub fn set_scroll_anchor(