HAXY

▄▀▄ ▄▀▀▀▀▄ ▀ ▄▄▀▀▀▀▀▀▄ ▀ ▀ ▀▀▀▀▀▀▀▄▀▄ ▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▄ ▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▄ ▀▀▀ ▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▄▄▄▄▄▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▄▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀ ▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▄▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▄

╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Diff.zig ─────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯

╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯

.. Attachment.zig Comment.zig Commits.zig ╭─────────────────────────────────╮ │Diff.zig │ ╰─────────────────────────────────╯ Discussions.zig Events.zig Files.zig Header.zig Issues.zig Patches.zig Refs.zig

264 return self.scroll.y == 0 and (box.children.count() == 0 or box.getFocus().child_id == box.children.keys()[0]); 265 } 266 fn inner(self: *View) *wgt.Box(ui.Widget) { 267 return &self.scroll.child.box; 268 } 269 pub fn input(self: *View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 270 _ = allocator; 271 const sc = &self.scroll; 272 switch (key) { 273 // scroll horizontally within the diff 274 .arrow_left => { 275 if (sc.x > 0) { 276 sc.x -= 1; 277 self.scroll.clampToContent(); 278 } 279 }, 280 .arrow_right => { 281 sc.x += 1; 282 self.scroll.clampToContent(); 283 }, 284 .arrow_up => self.moveDiff(root_focus, -1), 285 .arrow_down => self.moveDiff(root_focus, 1), 286 .page_up => self.pageDiff(root_focus, -10), 287 .page_down => self.pageDiff(root_focus, 10), 288 .home => self.jumpDiff(root_focus, false), 289 .end => self.jumpDiff(root_focus, true), 290 // Enter / a click on a "previous"/"next" row follow its "a:" link in 291 // the host (it reloads the adjacent window), so they don't reach here. 292 .mouse => |mouse| switch (mouse.action) { 293 .scroll => |dir| self.moveDiff(root_focus, if (dir == .up) -1 else 1), 294 else => {}, 295 }, 296 else => {}, 297 } 298 } 299 300 // move one step in `delta` (+ down, - up). in the terminal, `delta` is a 301 // line count unless there is a new hunk visible (in which case it is a 302 // hunk count). on the web `delta` is always a hunk count. 303 fn moveDiff(self: *View, root_focus: *Focus, delta: isize) void { 304 const box = self.inner(); 305 const keys = box.children.keys(); 306 if (keys.len == 0) return; 307 const cur: usize = if (root_focus.grandchild_id) |g| (box.children.getIndex(g) orelse 0) else 0; 308 const target = @as(isize, @intCast(cur)) + delta; 309 const in_range = target >= 0 and target < @as(isize, @intCast(keys.len)); 310 311 if (self.session.is_terminal) { 312 if (in_range and self.hunkVisible(@intCast(target))) { 313 root_focus.setFocus(keys[@intCast(target)]); 314 return; 315 } 316 317 const sc = &self.scroll; 318 sc.y += delta * 5; // magnify because it's a line count 319 self.scroll.clampToContent(); 320 if (in_range and self.hunkVisible(@intCast(target))) { 321 root_focus.setFocus(keys[@intCast(target)]); 322 } 323 } else { 324 if (in_range) { 325 root_focus.setFocus(keys[@intCast(target)]); 326 } 327 } 328 } 329 330 // page a fixed number of lines, then focus the leading visible hunk 331 // (bottom-most when paging down, top-most when paging up). in the 332 // terminal, `delta` is a line count, and on the web it's a hunk count. 333 fn pageDiff(self: *View, root_focus: *Focus, delta: isize) void { 334 if (self.session.is_terminal) { 335 const sc = &self.scroll; 336 sc.y += delta * 5; // magnify because it's a line count 337 self.scroll.clampToContent(); 338 self.focusVisible(root_focus, delta > 0); 339 } else { 340 const box = self.inner(); 341 const keys = box.children.keys(); 342 if (keys.len == 0) return; 343 const cur: isize = if (root_focus.grandchild_id) |g| @intCast(box.children.getIndex(g) orelse 0) else 0; 344 const target: usize = @intCast(std.math.clamp(cur + delta, 0, @as(isize, @intCast(keys.len - 1)))); 345 root_focus.setFocus(keys[target]); 346 } 347 } 348 349 // jump to the first or last hunk. on the web the browser scrolls to the 350 // focused hunk; on the terminal pin the scroll to the top/bottom too. 351 fn jumpDiff(self: *View, root_focus: *Focus, to_end: bool) void { 352 const box = self.inner(); 353 const keys = box.children.keys(); 354 if (keys.len == 0) return; 355 if (self.session.is_terminal) { 356 const sc = &self.scroll; 357 sc.y = if (to_end) std.math.maxInt(isize) else 0; 358 self.scroll.clampToContent(); 359 } 360 root_focus.setFocus(if (to_end) keys[keys.len - 1] else keys[0]); 361 } 362 363 // whether hunk `index` is at least partly within the diff viewport, per the 364 // last build's layout rects (content space) and the current scroll offset. 365 fn hunkVisible(self: *View, index: usize) bool { 366 const box = self.inner(); 367 const sc = &self.scroll; 368 const vp = sc.grid orelse return false; 369 const r = box.children.values()[index].rect orelse return false; 370 const top = sc.y; 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