Merge pull request #1699 from zed-industries/page-up

Implemented page up and page down for the editor
This commit is contained in:
Mikayla Maki 2022-10-10 11:43:35 -07:00 committed by GitHub
commit 576581c20d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 28 additions and 6 deletions

View file

@ -451,6 +451,7 @@ pub struct Editor {
leader_replica_id: Option<u16>, leader_replica_id: Option<u16>,
hover_state: HoverState, hover_state: HoverState,
link_go_to_definition_state: LinkGoToDefinitionState, link_go_to_definition_state: LinkGoToDefinitionState,
visible_line_count: Option<f32>,
_subscriptions: Vec<Subscription>, _subscriptions: Vec<Subscription>,
} }
@ -1052,6 +1053,7 @@ impl Editor {
leader_replica_id: None, leader_replica_id: None,
hover_state: Default::default(), hover_state: Default::default(),
link_go_to_definition_state: Default::default(), link_go_to_definition_state: Default::default(),
visible_line_count: None,
_subscriptions: vec![ _subscriptions: vec![
cx.observe(&buffer, Self::on_buffer_changed), cx.observe(&buffer, Self::on_buffer_changed),
cx.subscribe(&buffer, Self::on_buffer_event), cx.subscribe(&buffer, Self::on_buffer_event),
@ -1163,9 +1165,9 @@ impl Editor {
) { ) {
let map = self.display_map.update(cx, |map, cx| map.snapshot(cx)); let map = self.display_map.update(cx, |map, cx| map.snapshot(cx));
if scroll_position.y() == 0. { if scroll_position.y() <= 0. {
self.scroll_top_anchor = Anchor::min(); self.scroll_top_anchor = Anchor::min();
self.scroll_position = scroll_position; self.scroll_position = scroll_position.max(vec2f(0., 0.));
} else { } else {
let scroll_top_buffer_offset = let scroll_top_buffer_offset =
DisplayPoint::new(scroll_position.y() as u32, 0).to_offset(&map, Bias::Right); DisplayPoint::new(scroll_position.y() as u32, 0).to_offset(&map, Bias::Right);
@ -1186,6 +1188,10 @@ impl Editor {
cx.notify(); cx.notify();
} }
fn set_visible_line_count(&mut self, lines: f32) {
self.visible_line_count = Some(lines)
}
fn set_scroll_top_anchor( fn set_scroll_top_anchor(
&mut self, &mut self,
anchor: Anchor, anchor: Anchor,
@ -5514,12 +5520,26 @@ impl Editor {
} }
} }
pub fn page_up(&mut self, _: &PageUp, _: &mut ViewContext<Self>) { pub fn page_up(&mut self, _: &PageUp, cx: &mut ViewContext<Self>) {
log::info!("Editor::page_up"); let lines = match self.visible_line_count {
Some(lines) => lines,
None => return,
};
let cur_position = self.scroll_position(cx);
let new_pos = cur_position - vec2f(0., lines + 1.);
self.set_scroll_position(new_pos, cx);
} }
pub fn page_down(&mut self, _: &PageDown, _: &mut ViewContext<Self>) { pub fn page_down(&mut self, _: &PageDown, cx: &mut ViewContext<Self>) {
log::info!("Editor::page_down"); let lines = match self.visible_line_count {
Some(lines) => lines,
None => return,
};
let cur_position = self.scroll_position(cx);
let new_pos = cur_position + vec2f(0., lines - 1.);
self.set_scroll_position(new_pos, cx);
} }
pub fn fold(&mut self, _: &Fold, cx: &mut ViewContext<Self>) { pub fn fold(&mut self, _: &Fold, cx: &mut ViewContext<Self>) {

View file

@ -1422,6 +1422,8 @@ impl Element for EditorElement {
let em_advance = style.text.em_advance(cx.font_cache); let em_advance = style.text.em_advance(cx.font_cache);
let overscroll = vec2f(em_width, 0.); let overscroll = vec2f(em_width, 0.);
let snapshot = self.update_view(cx.app, |view, cx| { let snapshot = self.update_view(cx.app, |view, cx| {
view.set_visible_line_count(size.y() / line_height);
let wrap_width = match view.soft_wrap_mode(cx) { let wrap_width = match view.soft_wrap_mode(cx) {
SoftWrap::None => Some((MAX_LINE_LEN / 2) as f32 * em_advance), SoftWrap::None => Some((MAX_LINE_LEN / 2) as f32 * em_advance),
SoftWrap::EditorWidth => { SoftWrap::EditorWidth => {