HAXY

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

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

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

.. ╭─────────────────────────────────╮ │Commits.zig │ ╰─────────────────────────────────╯ Files.zig Header.zig Issues.zig Refs.zig

818 fn moveDiff(self: *View, root_focus: *Focus, delta: isize) !void { 819 const inner = self.diffInner(); 820 const keys = inner.children.keys(); 821 if (keys.len == 0) return; 822 const cur: usize = if (root_focus.grandchild_id) |g| (inner.children.getIndex(g) orelse 0) else 0; 823 const target = @as(isize, @intCast(cur)) + delta; 824 const in_range = target >= 0 and target < @as(isize, @intCast(keys.len)); 825 826 if (self.session.is_terminal) { 827 if (in_range and self.hunkVisible(@intCast(target))) { 828 root_focus.setFocus(keys[@intCast(target)]); 829 return; 830 } 831 832 const sc = self.diffScroll(); 833 sc.y += delta * 5; // magnify because it's a line count 834 self.diffScroll().clampToContent(); 835 if (in_range and self.hunkVisible(@intCast(target))) { 836 root_focus.setFocus(keys[@intCast(target)]); 837 } 838 } else { 839 if (in_range) { 840 root_focus.setFocus(keys[@intCast(target)]); 841 } 842 } 843 } 844 845 // page a fixed number of lines, then focus the leading visible hunk 846 // (bottom-most when paging down, top-most when paging up). in the 847 // terminal, `delta` is a line count, and on the web it's a hunk count. 848 fn pageDiff(self: *View, root_focus: *Focus, delta: isize) !void { 849 if (self.session.is_terminal) { 850 const sc = self.diffScroll(); 851 sc.y += delta * 5; // magnify because it's a line count 852 self.diffScroll().clampToContent(); 853 try self.focusVisible(root_focus, delta > 0); 854 } else { 855 const inner = self.diffInner(); 856 const keys = inner.children.keys(); 857 if (keys.len == 0) return; 858 const cur: isize = if (root_focus.grandchild_id) |g| @intCast(inner.children.getIndex(g) orelse 0) else 0; 859 const target: usize = @intCast(std.math.clamp(cur + delta, 0, @as(isize, @intCast(keys.len - 1)))); 860 root_focus.setFocus(keys[target]); 861 } 862 } 863 864 // jump to the first or last hunk. on the web the browser scrolls to the 865 // focused hunk; on the terminal pin the scroll to the top/bottom too. 866 fn jumpDiff(self: *View, root_focus: *Focus, to_end: bool) !void { 867 const inner = self.diffInner(); 868 const keys = inner.children.keys(); 869 if (keys.len == 0) return; 870 if (self.session.is_terminal) { 871 const sc = self.diffScroll(); 872 sc.y = if (to_end) std.math.maxInt(isize) else 0; 873 self.diffScroll().clampToContent(); 874 } 875 root_focus.setFocus(if (to_end) keys[keys.len - 1] else keys[0]); 876 } 877 878 // whether hunk `index` is at least partly within the diff viewport, per the 879 // last build's layout rects (content space) and the current scroll offset. 880 fn hunkVisible(self: *View, index: usize) bool { 881 const inner = self.diffInner(); 882 const sc = self.diffScroll(); 883 const vp = sc.grid orelse return false; 884 const r = inner.children.values()[index].rect orelse return false; 885 const top = sc.y; 886 const bottom = sc.y + @as(isize, @intCast(vp.size.height)); 887 return (r.y + @as(isize, @intCast(r.size.height))) > top and r.y < bottom; 888 } 889 890 // focus the visible hunk at the scroll's leading edge. `prefer_last` picks 891 // the bottom-most visible (for downward motion), else the top-most. 892 fn focusVisible(self: *View, root_focus: *Focus, prefer_last: bool) !void { 893 const inner = self.diffInner(); 894 const sc = self.diffScroll(); 895 const vp = sc.grid orelse return; 896 const top = sc.y; 897 const bottom = sc.y + @as(isize, @intCast(vp.size.height)); 898 var chosen: ?usize = null; 899 for (inner.children.keys(), inner.children.values()) |id, *child| { 900 const r = child.rect orelse continue; // content-space layout rect 901 const r_top = r.y; 902 const r_bot = r.y + @as(isize, @intCast(r.size.height)); 903 if (r_bot <= top or r_top >= bottom) continue; // not visible 904 chosen = id; 905 if (!prefer_last) break; // first visible 906 } 907 if (chosen) |id| root_focus.setFocus(id); 908 } 909 910 // enter the diff pane. the host arrives here on right-arrow or Enter from the 911 // list. a diff with no rows can't be entered. setFocus handles the too-narrow 912 // case where the pane isn't laid out yet (it gets selected, then focused after 913 // the next build, landing on its remembered hunk). 914 fn focusDiff(self: *View, root_focus: *Focus) !void { 915 if (self.diffInner().children.count() == 0) return; 916 root_focus.setFocus(self.diffOuter().getFocus().id); 917 } 918 919 // return to the list. 920 fn focusList(self: *View, root_focus: *Focus) !void { 921 root_focus.setFocus(self.listScroll().getFocus().id); 922 } 923 924 pub fn clearGrid(self: *View) void { 925 self.box.clearGrid(); 926 } 927 928 pub fn getGrid(self: View) ?Grid { 929 return self.box.getGrid(); 930 } 931 932 pub fn getFocus(self: *View) *Focus { 933 return self.box.getFocus(); 934 } 935 936 // for the parent's "scroll up at the top jumps to the header" check. in the 937 // diff pane that means the first hunk is focused and the diff can't scroll up 938 // any further; otherwise up-arrow stays in the pane (scrolling or moving 939 // between hunks). when the list holds focus, report its selection directly. 940 pub fn getSelectedIndex(self: *View) ?usize { 941 if (self.diffActive()) { 942 const inner = self.diffInner(); 943 const cid = inner.getFocus().child_id orelse return 1; 944 const first_focused = inner.children.count() > 0 and cid == inner.children.keys()[0]; 945 return if (first_focused and self.diffScroll().y == 0) 0 else 1; 946 } 947 const lb = self.listBox(); 948 const cid = lb.getFocus().child_id orelse return null; 949 return lb.children.getIndex(cid); 950 } 951 }; 952 953 // the "a:" navigation link for the commits page walking from commit `oid` within 954 // `identity`, windowing the selected commit's diff from hunk `start`, filtered 955 // to `path` ("" = every file). 956 fn commitsLink(page_arena: *std.heap.ArenaAllocator, identity: []const u8, oid: []const u8, start: usize, path: []const u8) ![]const u8 { 957 const route = ui.RoutablePage.repoCommitsRoute(identity, .object, oid, start, path) orelse return error.RouteTooLong; 958 const url = try route.toUrl(page_arena); 959 return std.fmt.allocPrint(page_arena.allocator(), "a:{s}", .{url}); 960 } 961 962 // the "a:" link to the files tab at commit `oid` (an object ref), at its root 963 // directory, within `identity` ("owner/name"). 964 fn filesObjectLink(page_arena: *std.heap.ArenaAllocator, identity: []const u8, oid: []const u8) ![]const u8 { 965 const route = ui.RoutablePage.repoFilesRoute(identity, .object, oid, "", 0) orelse return error.RouteTooLong; 966 const url = try route.toUrl(page_arena); 967 return std.fmt.allocPrint(page_arena.allocator(), "a:{s}", .{url}); 968 } 969 970 // the in-page "ai:" anchor for selecting `oid` in `identity`'s commit list. it 971 // points at the same route as commitsLink but the "ai:" prefix keeps wasm clicks 972 // in-page (crossPageLink ignores it); the href is only followed with js off. 973 fn commitRowLink(page_arena: *std.heap.ArenaAllocator, identity: []const u8, oid: []const u8, path: []const u8) ![]const u8 { 974 const route = ui.RoutablePage.repoCommitsRoute(identity, .object, oid, 0, path) orelse return error.RouteTooLong; 975 const url = try route.toUrl(page_arena); 976 return std.fmt.allocPrint(page_arena.allocator(), "ai:{s}", .{url}); 977 } 978 979 // the "a:" link to the page showing `oid`'s message on its own. 980 fn messageLink(page_arena: *std.heap.ArenaAllocator, identity: []const u8, oid: []const u8) ![]const u8 { 981 const route = ui.RoutablePage.repoCommitMessageRoute(identity, .object, oid) orelse return error.RouteTooLong; 982 const url = try route.toUrl(page_arena); 983 return std.fmt.allocPrint(page_arena.allocator(), "a:{s}", .{url}); 984 } 985 986 // the "viewing <ref_or_oid> <value>" banner shown above the log. 987 pub const Header = struct { 988 content: []const u8, 989 990 // `value` arrives url-encoded, so decode it for display. 991 pub fn init(aa: std.mem.Allocator, ref_or_oid: ui.RoutablePage.RefOrOid, value: []const u8) !Header { 992 const decoded = std.Uri.percentDecodeInPlace(try aa.dupe(u8, value)); 993 return .{ 994 .content = try std.fmt.allocPrint(aa, "viewing {s} {s}", .{ @tagName(ref_or_oid), decoded }), 995 }; 996 } 997 998 pub const View = struct { 999 box: wgt.Box(ui.Widget), 1000 data: *const Header, 1001 1002 pub fn init(allocator: std.mem.Allocator, data: *const Header, session: *ui.Session) !Header.View { 1003 _ = session; 1004 var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .horiz }); 1005 errdefer box.deinit(allocator); 1006 1007 var text_box = try wgt.TextBox(ui.Widget).init(allocator, data.content, .{ .border_style = .hidden, .wrap_kind = .none }); 1008 errdefer text_box.deinit(allocator); 1009 try box.children.put(allocator, text_box.getFocus().id, .{ .widget = .{ .text_box = text_box }, .rect = null, .min_size = null }); 1010 1011 return .{ .box = box, .data = data }; 1012 } 1013 1014 pub fn deinit(self: *Header.View, allocator: std.mem.Allocator) void { 1015 self.box.deinit(allocator); 1016 } 1017 1018 pub fn build(self: *Header.View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 1019 self.clearGrid(); 1020 try self.box.build(allocator, constraint, root_focus); 1021 } 1022 1023 pub fn input(self: *Header.View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 1024 _ = self; 1025 _ = allocator; 1026 _ = key; 1027 _ = root_focus; 1028 } 1029 1030 pub fn clearGrid(self: *Header.View) void { 1031 self.box.clearGrid(); 1032 } 1033 1034 pub fn getGrid(self: Header.View) ?Grid { 1035 return self.box.getGrid(); 1036 } 1037 1038 pub fn getFocus(self: *Header.View) *Focus { 1039 return self.box.getFocus(); 1040 } 1041 }; 1042 }; 1043