╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Diff.zig ─────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
371 const bottom = sc.y + @as(isize, @intCast(vp.size.height - sc.bar_h)); 372 return (r.y + @as(isize, @intCast(r.size.height))) > top and r.y < bottom; 373 } 374 375 // focus the visible hunk at the scroll's leading edge. `prefer_last` picks 376 // the bottom-most visible (for downward motion), else the top-most. 377 fn focusVisible(self: *View, root_focus: *Focus, prefer_last: bool) void { 378 const box = self.inner(); 379 const sc = &self.scroll; 380 const vp = sc.grid orelse return; 381 const top = sc.y; 382 const bottom = sc.y + @as(isize, @intCast(vp.size.height - sc.bar_h)); 383 var chosen: ?usize = null; 384 for (box.children.keys(), box.children.values()) |id, *child| { 385 const r = child.rect orelse continue; // content-space layout rect 386 const r_top = r.y; 387 const r_bot = r.y + @as(isize, @intCast(r.size.height)); 388 if (r_bot <= top or r_top >= bottom) continue; // not visible 389 chosen = id; 390 if (!prefer_last) break; // first visible 391 } 392 if (chosen) |id| root_focus.setFocus(id); 393 } 394 }; 395