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

Handle non-precise scroll events in BufferElement

Browse source 
Co-Authored-By: Nathan Sobo <nathan@zed.dev>
This commit is contained in:
Antonio Scandurra 2021-03-31 16:25:21 +02:00
parent 97e0db205d
commit c55d99022e
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
zed/src/editor/buffer_element.rs
View file

@ -133,7 +133,7 @@ impl BufferElement {
fn scroll( fn scroll(
&self, &self,
position: Vector2F, position: Vector2F,
delta: Vector2F, mut delta: Vector2F,
precise: bool, precise: bool,
layout: &mut LayoutState, layout: &mut LayoutState,
paint: &mut PaintState, paint: &mut PaintState,
@ -143,15 +143,14 @@ impl BufferElement {
return false; return false;
} }
if !precise {
todo!("still need to handle non-precise scroll events from a mouse wheel");
}
let view = self.view.as_ref(ctx.app); let view = self.view.as_ref(ctx.app);
let font_cache = &ctx.font_cache; let font_cache = &ctx.font_cache;
let layout_cache = &ctx.text_layout_cache; let layout_cache = &ctx.text_layout_cache;
let max_glyph_width = view.em_width(font_cache); let max_glyph_width = view.em_width(font_cache);
let line_height = view.line_height(font_cache); let line_height = view.line_height(font_cache);
if !precise {
delta *= vec2f(max_glyph_width, line_height);
}
let x = (view.scroll_position().x() * max_glyph_width - delta.x()) / max_glyph_width; let x = (view.scroll_position().x() * max_glyph_width - delta.x()) / max_glyph_width;
let y = (view.scroll_position().y() * line_height - delta.y()) / line_height; let y = (view.scroll_position().y() * line_height - delta.y()) / line_height;