╭ changed ─────────────╮ │src/ui/Repo/Events.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │723 const view_labels = [_][]const u8{ active_tab_label, removed_tab_label }; │ │724 inline for ([_]ui.RoutablePage.EventsView{ .active, .removed }, view_labels, 0..) |view, view_label, i| { │ │725 const route = ui.RoutablePage.repoEventsRoute(data.identity, view, null, "", data.moment) orelse return error.RouteTooLong; │ │726 - const count = data.window(view).count; │ │727 - var label_buf: [64]u8 = undefined; │ │728 - const label = try std.fmt.bufPrint(&label_buf, "{s} ({d})", .{ view_label, count }); │ │729 - var tab = try wgt.TextBox.init(allocator, label, .{ .border = .hidden, .round_corners = true, .wrap_kind = .none }); │ │726 + const count_label = try session.page_arena.allocator().print("({d})", .{data.window(view).count}); │ │727 + var tab = try wgt.TextBox.init(allocator, view_label, .{ .border = .hidden, .round_corners = true, .wrap_kind = .none, .bottom_label = .{ .text = count_label } });│ │728 errdefer tab.deinit(allocator); │ │729 tab.getFocus().mode = .all; │ │730 const selected = std.meta.activeTag(session.data.current_page) == .repo_events and data.view == view; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │731 tab.getFocus().kind = .{ .custom = try ui.inPageTabLink(session, route, selected) }; │ │732 tab_ids[i] = tab.getFocus().id; │ │735 - try box.children.put(allocator, tab.getFocus().id, .{ .widget = .{ .text_box = tab }, .rect = null, .min_size = .{ .width = label.len + 2, .height = null } }); │ │733 + try box.children.put(allocator, tab.getFocus().id, .{ .widget = .{ .text_box = tab }, .rect = null, .min_size = .{ .width = @max(view_label.len, count_label.len) + 2, .height = null } });│ │734 } │ │735 │ │736 // pushes the sync button and status to the right │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯