╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Patches.zig ──────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
708 } 709 } 710 } 711 } 712 const thread_comments_start = if (empty.comment_id.len == 0) comments_start else 0; 713 var open_window = try thread.loadWindow(Self, .patch, repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_patch, open_set, open_root, conflict_set, empty.selected_id, thread_comments_start, empty.search, viewer); 714 var closed_window = try thread.loadWindow(Self, .patch, repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_patch, closed_set, closed_root, conflict_set, empty.selected_id, thread_comments_start, empty.search, viewer); 715 var merged_window = try thread.loadWindow(Self, .patch, repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_patch, merged_set, merged_root, conflict_set, empty.selected_id, thread_comments_start, empty.search, viewer); 716 var conflicts_window = try thread.loadWindow(Self, .patch, repo_opts.hash, arena, admin_moment, haxy_moment, event_id_to_patch, conflict_set, conflicts_root, conflict_set, empty.selected_id, thread_comments_start, null, viewer); 717 try setPatchDetails(repo_kind, repo_opts, io, arena, admin_moment, session.users_dir, haxy_moment, repo, &open_window); 718 try setPatchDetails(repo_kind, repo_opts, io, arena, admin_moment, session.users_dir, haxy_moment, repo, &closed_window); 719 try setPatchDetails(repo_kind, repo_opts, io, arena, admin_moment, session.users_dir, haxy_moment, repo, &merged_window); 720 try setPatchDetails(repo_kind, repo_opts, io, arena, admin_moment, session.users_dir, haxy_moment, repo, &conflicts_window); 721 if (view == .conflicts and conflicts_window.count > 0) resolved_view = .conflicts; 722 723 const comment_page = if (empty.comment_id.len == 0) 724 null 725 else 726 try Comment.init(repo_opts.hash, arena, admin_moment, haxy_moment, empty.selected_id, empty.comment_id, comments_start, viewer); 727 728 const labels = try thread.loadLabels(Self, repo_opts.hash, arena, haxy_moment); 729 730 return .{ 731 .identity = empty.identity, 732 .default_target_branch = empty.default_target_branch, 733 .label = empty.label, 734 .search = empty.search, 735 .selected_id = empty.selected_id, 736 .comment_id = empty.comment_id, 737 .comments_start = comments_start, 738 .comment_page = comment_page, 739 .viewer = viewer, 740 .open = open_window, 741 .closed = closed_window, 742 .merged = merged_window, 743 .drafts = drafts_window, 744 .conflicts = conflicts_window, 745 .conflict = conflict_data, 746 .theirs_picks = empty.theirs_picks, 747 .view = resolved_view, 748 .description_page = empty.description_page, 749 .labels = labels, 750 }; 751 } 752 753 fn setPatchDetails( 754 comptime repo_kind: rp.RepoKind, 755 comptime repo_opts: rp.RepoOpts(repo_kind), 756 io: std.Io, 757 arena: *std.heap.ArenaAllocator, 758 admin_moment: ?evt.AdminDB.HashMap(.read_only), 759 users_dir: ?[]const u8, 760 haxy_moment: evt.EventDB(repo_opts.hash).HashMap(.read_only), 761 repo: *rp.Repo(repo_kind, repo_opts), 762 target: *Window, 763 ) !void { 764 if (target.items.len == 0) return; 765 var config = try repo.listConfig(io, arena.child_allocator); 766 defer config.deinit(); 767 const items = try arena.allocator().dupe(PatchWithId, target.items); 768 for (items) |*item| { 769 const id = try evt.parseEventId(item.id); 770 const status = item.record.event.status.kind(); 771 // a fork-backed patch's fork lives in its forker's user repo 772 if (admin_moment) |moment| if (users_dir) |dir| if (item.record.event.source_branch == null) { 773 if (try fork.readForkerId(&config.sections, &id)) |forker_id| { 774 if (try evt.User.readById(evt.AdminDB, evt.admin_repo_opts.hash, moment, arena, &forker_id)) |forker| item.forker = forker.event.name; 775 const record = try evt.readForkById(io, arena.child_allocator, arena, dir, &forker_id, &id); 776 item.fork_exists = if (record) |value| !value.removed else false; 777 } 778 }; 779 const target_branch = item.record.event.target_branch; 780 const revision = item.record.event.revision orelse continue; 781 item.commit_count = revision.commit_count; 782 const merge_revision: evt.Patch.MergeRevision = switch (item.record.event.status) { 783 .merged => |merged| merged.revision, 784 else => .source, 785 }; 786 item.revision_oid = switch (merge_revision) { 787 .source => revision.source_oid, 788 .squash => revision.squash_oid, 789 }; 790 if (!item.fork_exists or status == .merged) { 791 const revision_id = try evt.parseEventId(&revision.id); 792 if (try evt.PatchRev.readById(evt.EventDB(repo_opts.hash), repo_opts.hash, haxy_moment, arena, &revision_id)) |record| { 793 item.base_oid = record.event.base_oid; 794 } 795 } 796 if (status == .merged) { 797 if (merge_revision == .squash) item.commit_count = 1; 798 continue; 799 } 800 if (comptime repo_kind == .xit) { 801 var moment = try repo.core.latestMoment(); 802 const state = rp.Repo(.xit, repo_opts).State(.read_only){ .core = &repo.core, .extra = .{ .moment = &moment } }; 803 item.mergeability = pch.readMergeability(repo_opts, state, io, arena, &id, item.record.event) catch .{}; 804 } 805 const target_oid = try repo.readRef(io, .{ .kind = .head, .name = target_branch }); 806 item.no_changes = if (target_oid) |oid| std.mem.eql(u8, &oid, revision.source_oid) else false; 807 } 808 target.items = items; 809 } 810 811 fn loadDraftWindow( 812 comptime repo_kind: rp.RepoKind, 813 comptime repo_opts: rp.RepoOpts(repo_kind), 814 arena: *std.heap.ArenaAllocator, 815 session: *ui.Session, 816 admin_moment: evt.AdminDB.HashMap(.read_only), 817 repo_id: *const [evt.event_id_size]u8, 818 selected_id: []const u8, 819 target_repo: *rp.Repo(repo_kind, repo_opts), 820 ) !Window { 821 const user_id = session.userId() orelse return .empty; 822 const user_name = session.data.user_name orelse return .empty; 823 const users_dir = session.users_dir orelse return .empty; 824 const io = session.io orelse return .empty; 825 826 // the viewer's drafts live in their user repo 827 var user_repo = (try evt.openUserRepo(io, arena.child_allocator, users_dir, &user_id)) orelse return .empty; 828 defer user_repo.deinit(io, arena.child_allocator); 829 const user_moment = (try evt.userMoment(&user_repo)) orelse return .empty; 830 const drafts_cursor = try user_moment.getCursor(hash.hashInt(evt.user_repo_opts.hash, evt.Fork.repo_to_draft_id_set_key)) orelse return .empty; 831 const drafts = try evt.UserDB.HashMap(.read_only).init(drafts_cursor); 832 const set_cursor = try drafts.getCursor(hash.hashInt(evt.user_repo_opts.hash, repo_id)) orelse return .empty; 833 const set = try evt.UserDB.SortedSet(.read_only).init(set_cursor); 834 const aa = arena.allocator(); 835 836 var root_key: ?[]const u8 = null; 837 if (selected_id.len != 0) { 838 const id = evt.parseEventId(selected_id) catch return error.NotFound; 839 if (try evt.Fork.readById(evt.UserDB, evt.user_repo_opts.hash, user_moment, arena, &id)) |record| { 840 if (!record.removed and record.event.stage == .draft) { 841 const order_key = try aa.dupe(u8, &evt.orderKeyDesc(record.created_order, &id)); 842 if (!try set.contains(order_key)) return error.NotFound; 843 root_key = order_key; 844 } 845 } 846 } 847 848 var prev_id: ?[]const u8 = null; 849 var iter = if (root_key) |root| blk: { 850 const rank = try set.rank(root); 851 if (rank > 0 and rank <= page_size) { 852 prev_id = ""; 853 } else if (rank > page_size) { 854 const pair = try set.getIndexKeyValuePair(@intCast(rank - page_size)) orelse return error.NotFound; 855 var previous: [@sizeOf(u64) + evt.event_id_size]u8 = undefined; 856 _ = try pair.key_cursor.readBytes(&previous); 857 const hex = std.fmt.bytesToHex(previous[@sizeOf(u64)..].*, .lower); 858 prev_id = try aa.dupe(u8, &hex); 859 } 860 break :blk try set.iteratorFrom(root); 861 } else try set.iteratorFromIndex(0); 862 863 var items: std.ArrayList(PatchWithId) = .empty; 864 var next_id: ?[]const u8 = null; 865 while (try iter.next()) |cursor| { 866 const id = try evt.readOrderKeyId(evt.UserDB, cursor); 867 const id_hex = std.fmt.bytesToHex(id, .lower); 868 if (items.items.len == page_size) { 869 next_id = try aa.dupe(u8, &id_hex); 870 break; 871 } 872 const path = try fork.forkPath(aa, users_dir, &user_id, &id); 873 // a fork shares its target's hash kind 874 var fork_repo = rp.Repo(.xit, .{ .hash = repo_opts.hash }).open(io, arena.child_allocator, .{ .path = path, .require_repo_root = true }) catch continue; 875 defer fork_repo.deinit(io, arena.child_allocator); 876 const entry = (try loadDraftEntry(repo_kind, repo_opts, arena, io, admin_moment, &fork_repo, target_repo, id, user_name)) orelse continue; 877 try items.append(aa, entry); 878 } 879 return .{ 880 .items = items.items, 881 .prev_id = prev_id, 882 .next_id = next_id, 883 .count = @intCast(try set.count()), 884 }; 885 } 886 887 pub fn loadDraftEntry( 888 comptime repo_kind: rp.RepoKind, 889 comptime repo_opts: rp.RepoOpts(repo_kind), 890 arena: *std.heap.ArenaAllocator, 891 io: std.Io, 892 admin_moment: ?evt.AdminDB.HashMap(.read_only), 893 fork_repo: *rp.Repo(.xit, .{ .hash = repo_opts.hash }), 894 target_repo: *rp.Repo(repo_kind, repo_opts), 895 id: [evt.event_id_size]u8, 896 forker: []const u8, 897 ) !?PatchWithId { 898 const aa = arena.allocator(); 899 const id_hex = std.fmt.bytesToHex(id, .lower); 900 const fork_oid = (try fork_repo.readRef(io, fork.ref)) orelse return null; 901 const moment = evt.currentMoment(.{ .hash = repo_opts.hash }, fork_repo) catch return null; 902 const patch = (try evt.Patch.readById(evt.EventDB(repo_opts.hash), repo_opts.hash, moment, arena, &id)) orelse return null; 903 const target_branch = patch.event.target_branch; 904 const target_oid = try target_repo.readRef(io, .{ .kind = .head, .name = target_branch }); 905 const commit_count: ?u64 = blk: { 906 const newest = evt.PatchRev.readNewest(evt.EventDB(repo_opts.hash), repo_opts.hash, moment, arena) catch break :blk null; 907 break :blk if (newest) |revision| revision.record.commit_count else 0; 908 }; 909 return .{ 910 .id = try aa.dupe(u8, &id_hex), 911 .record = patch, 912 .author = try ui.Author.initFromEmail(admin_moment, arena, patch.author_email), 913 .draft = true, 914 .revision_oid = try aa.dupe(u8, &fork_oid), 915 .commit_count = commit_count, 916 .no_changes = if (target_oid) |oid| std.mem.eql(u8, &oid, &fork_oid) else false, 917 .fork_exists = true, 918 .forker = try aa.dupe(u8, forker), 919 }; 920 } 921 922 pub const View = thread.View(.patch, Self); 923 pub const Detail = thread.Detail(.patch, Self); 924 pub const detail_widget_name = "repo_patch_detail"; 925 926 pub const Header = thread.Header; 927 928 const open_tab_label = "open"; 929 const closed_tab_label = "closed"; 930 const merged_tab_label = "merged"; 931 const labels_tab_label = "labels"; 932 const edit_tab_label = "edit"; 933 const publish_tab_label = "publish"; 934 const merge_tab_label = "merge"; 935 const reply_tab_label = "reply"; 936 const remove_tab_label = "remove"; 937 const resolve_tab_label = "resolve"; 938 const new_tab_label = "new"; 939 const drafts_tab_label = "drafts"; 940 const conflicts_tab_label = "conflicts"; 941 942 pub fn appendDetails(self: *const Self, allocator: std.mem.Allocator, box: *wgt.Box(ui.Widget), session: *ui.Session, entry: Entry) !void { 943 const aa = session.page_arena.allocator(); 944 const status_kind = entry.record.event.status.kind(); 945 const target_branch = entry.record.event.target_branch; 946 947 if (status_kind != .merged and entry.fork_exists) if (session.data.git_ssh_port) |port| { 948 const url = try std.fmt.allocPrint(aa, "ssh://localhost:{d}/fork/{s}/patch:{s}", .{ port, self.identity, entry.id }); 949 const push_command = try std.fmt.allocPrint(aa, "git push {s} HEAD:patch", .{url}); 950 const clone_name = try cloneDirectoryName(aa, entry.record.event.title); 951 const clone_command = if (clone_name.len == 0) 952 try std.fmt.allocPrint(aa, "git clone {s}", .{url}) 953 else 954 try std.fmt.allocPrint(aa, "git clone {s} {s}", .{ url, clone_name }); 955 const merge_command = try std.fmt.allocPrint(aa, "git fetch '{s}' refs/heads/patch && git merge FETCH_HEAD", .{url}); 956 const choices: [3]ui.widget.CopyableText.Choice = .{ 957 .{ 958 .selector = "push", 959 .text = push_command, 960 .copyable_text = try std.fmt.allocPrint(aa, "{s}{s}", .{ session.data.git_ssh_prefix, push_command }), 961 .label = " push to this patch from existing repo ", 962 }, 963 .{ 964 .selector = "clone", 965 .text = clone_command, 966 .copyable_text = try std.fmt.allocPrint(aa, "{s}{s}", .{ session.data.git_ssh_prefix, clone_command }), 967 .label = " clone this patch ", 968 }, 969 .{ 970 .selector = "merge", 971 .text = merge_command, 972 .copyable_text = try std.fmt.allocPrint(aa, "{s}{s}", .{ session.data.git_ssh_prefix, merge_command }), 973 .label = " merge this patch locally ", 974 }, 975 }; 976 var copyable_text = try ui.widget.CopyableText.init(allocator, session, &choices, 0); 977 errdefer copyable_text.deinit(allocator); 978 try box.children.put(allocator, copyable_text.getFocus().id, .{ .widget = .{ .copyable_text = copyable_text }, .rect = null, .min_size = null }); 979 }; 980 if (entry.record.event.source_branch) |branch| { 981 var source = try wgt.TextBox.init(allocator, branch, .{ .label = " source branch ", .border_style = .single, .round_corners = true, .wrap_kind = .none }); 982 errdefer source.deinit(allocator); 983 source.getFocus().mode = .all; 984 try box.children.put(allocator, source.getFocus().id, .{ .widget = .{ .text_box = source }, .rect = null, .min_size = null }); 985 } 986 const fields = [_]ui.widget.CopyableText.Choice{ 987 .{ 988 .selector = "from", 989 .text = entry.revision_oid, 990 .label = if (entry.no_changes) " object id of this patch (no changes) " else " object id of this patch ", 991 }, 992 .{ 993 .selector = "to", 994 .text = target_branch, 995 .label = if (status_kind == .merged) " target branch this patch was merged into " else " target branch this patch will go to ", 996 }, 997 }; 998 var copyable_text = try ui.widget.CopyableText.init(allocator, session, fields[@intFromBool(entry.revision_oid.len == 0)..], 0); 999 errdefer copyable_text.deinit(allocator); 1000 try box.children.put(allocator, copyable_text.getFocus().id, .{ .widget = .{ .copyable_text = copyable_text }, .rect = null, .min_size = null }); 1001 } 1002 1003 fn cloneDirectoryName(allocator: std.mem.Allocator, title: []const u8) ![]const u8 { 1004 var name: [64]u8 = undefined; 1005 var len: usize = 0; 1006 var pending: ?u8 = null; 1007 1008 for (title) |char| { 1009 if (std.ascii.isAlphanumeric(char)) { 1010 const needed: usize = if (pending == null) 1 else 2; 1011 if (len + needed > name.len) break; 1012 if (pending) |value| { 1013 name[len] = value; 1014 len += 1; 1015 } 1016 name[len] = std.ascii.toLower(char); 1017 len += 1; 1018 pending = null; 1019 } else if (char == ' ') { 1020 if (len != 0) pending = '-'; 1021 } else if (char == '.') { 1022 if (len != 0 and pending != '-') pending = '.'; 1023 } 1024 } 1025 if (len == 0) return ""; 1026 return allocator.dupe(u8, name[0..len]); 1027 } 1028 1029 // tabs switching between the patches page's views 1030 pub fn initHeader(allocator: std.mem.Allocator, session: *ui.Session, data: *const Self) !Header { 1031 var header = try Header.init(allocator, session, data.search); 1032 errdefer header.deinit(allocator); 1033 const aa = session.page_arena.allocator(); 1034 const selected_index = View.viewIndex(data.view); 1035 const page_selected = std.meta.activeTag(session.data.current_page) == .repo_patches; 1036 1037 // a list tab per status, labeled with its listing's patch count 1038 const status_labels = [_][]const u8{ open_tab_label, closed_tab_label, merged_tab_label }; 1039 for ([_]Status{ .open, .closed, .merged }, status_labels, 0..) |status, status_label, index| { 1040 const route = try thread.searchRoute(ui.RoutablePage.repoPatchesRoute(data.identity, status, data.label, ""), data.search); 1041 const link = try ui.inPageTabLink(session, route, page_selected and selected_index == index); 1042 var label_buf: [64]u8 = undefined; 1043 const label = try thread.countLabel(&label_buf, status_label, data.window(status).*); 1044 try header.addTab(allocator, label, link, index); 1045 } 1046 1047 // labels tab, showing the active label filter 1048 { 1049 const labels_route = try thread.searchRoute(ui.RoutablePage.repoThreadLabelsRoute(.patch, data.identity, data.label), data.search); 1050 const labels_link = try ui.inPageTabLink(session, labels_route, page_selected and selected_index == View.viewIndex(.labels)); 1051 const label = if (data.label.len == 0) labels_tab_label else blk: { 1052 const decoded = std.Uri.percentDecodeInPlace(try aa.dupe(u8, data.label)); 1053 break :blk try std.fmt.allocPrint(aa, labels_tab_label ++ " ({s})", .{decoded}); 1054 }; 1055 try header.addTab(allocator, label, labels_link, View.viewIndex(.labels)); 1056 } 1057 1058 // new-patch tab; an edit or resolve url shows its tab in this place 1059 { 1060 const route = switch (data.view) { 1061 .edit => ui.RoutablePage.repoThreadEditRoute(.patch, data.identity, data.selected_id) orelse return error.RouteTooLong, 1062 .publish => ui.RoutablePage.repoPatchPublishRoute(data.identity, data.selected_id) orelse return error.RouteTooLong, 1063 .merge => ui.RoutablePage.repoPatchMergeRoute(data.identity, data.selected_id) orelse return error.RouteTooLong, 1064 .new_comment => ui.RoutablePage.repoThreadCommentNewRoute(.patch, data.identity, data.selected_id, data.comment_id) orelse return error.RouteTooLong, 1065 .edit_comment => ui.RoutablePage.repoThreadCommentEditRoute(.patch, data.identity, data.selected_id, data.comment_id) orelse return error.RouteTooLong, 1066 .remove => ui.RoutablePage.repoThreadRemoveRoute(.patch, data.identity, data.selected_id, data.comment_id) orelse return error.RouteTooLong, 1067 .resolve => ui.RoutablePage.repoPatchesResolveRoute(data.identity, data.selected_id, data.theirs_picks) orelse return error.RouteTooLong, 1068 else => ui.RoutablePage.repoThreadNewRoute(.patch, data.identity) orelse return error.RouteTooLong, 1069 }; 1070 const link = try ui.inPageTabLink(session, route, page_selected and selected_index == View.viewIndex(.new)); 1071 const label: []const u8 = switch (data.view) { 1072 .edit => edit_tab_label, 1073 .publish => publish_tab_label, 1074 .merge => merge_tab_label, 1075 .new_comment => reply_tab_label, 1076 .edit_comment => edit_tab_label, 1077 .remove => remove_tab_label, 1078 .resolve => resolve_tab_label, 1079 else => new_tab_label, 1080 }; 1081 try header.addTab(allocator, label, link, View.viewIndex(.new)); 1082 } 1083 1084 // drafts belong to the logged-in user and are not available locally 1085 if (session.data.host_kind != .local) { 1086 const route = ui.RoutablePage.repoPatchesDraftsRoute(data.identity) orelse return error.RouteTooLong; 1087 const link = try ui.inPageTabLink(session, route, page_selected and selected_index == View.viewIndex(.drafts)); 1088 var label_buf: [64]u8 = undefined; 1089 const label = try std.fmt.bufPrint(&label_buf, drafts_tab_label ++ " ({d})", .{data.drafts.count}); 1090 try header.addTab(allocator, label, link, View.viewIndex(.drafts)); 1091 } 1092 1093 // conflicts tab, labeled with the conflict count 1094 if (data.conflicts.count > 0) { 1095 const route = ui.RoutablePage.repoPatchesConflictsRoute(data.identity, "") orelse return error.RouteTooLong; 1096 const link = try ui.inPageTabLink(session, route, page_selected and selected_index == View.viewIndex(.conflicts)); 1097 var label_buf: [64]u8 = undefined; 1098 const label = try std.fmt.bufPrint(&label_buf, conflicts_tab_label ++ " ({d})", .{data.conflicts.count}); 1099 try header.addTab(allocator, label, link, View.viewIndex(.conflicts)); 1100 } 1101 1102 header.select(View.viewIndex(data.view)); 1103 return header; 1104 } 1105