╭ changed ─────────────╮ │src/ui/Repo/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │173 const new_repo_link = try ui.inPageTabLink(session, new_repo_route, current_tag == .repo_repo_new); │ │174 const new_user_route = ui.RoutablePage{ .repo_user_new = Array.from(identity) orelse return error.RouteTooLong }; │ │175 const new_user_link = try ui.inPageTabLink(session, new_user_route, current_tag == .repo_user_new); │ │176 - const user_route = ui.RoutablePage{ .repo_user = Array.from(identity) orelse return error.RouteTooLong }; │ │176 + const user_route = ui.RoutablePage{ .repo_user = .{ .name = Array.from(identity) orelse return error.RouteTooLong } };│ │177 const user_link = try ui.inPageTabLink(session, user_route, current_tag == .repo_user); │ │178 │ │179 // the tab matching the current page is focused initially; matching by │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │358 // user tab. local mode has no users, so it has none. │ │359 if (session.data.host_kind == .server) { │ │360 const label = ui.UserSettings.tabLabel(session); │ │361 - var text_box = try wgt.TextBox.init(allocator, label, .{ .border = .single, .round_corners = true, .wrap_kind = .none }); │ │361 + const count_label = try ui.UserSettings.tabBottomLabel(session); │ │362 + var text_box = try wgt.TextBox.init(allocator, label, .{ .border = .single, .round_corners = true, .wrap_kind = .none, .bottom_label = .{ .text = count_label } });│ │363 errdefer text_box.deinit(allocator); │ │364 text_box.getFocus().mode = .all; │ │365 text_box.getFocus().kind = .{ .custom = user_link }; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────╮ │368 try tabs_box.children.put(allocator, text_box.getFocus().id, .{ │ │369 .widget = .{ .text_box = text_box }, │ │370 .rect = null, │ │370 - .min_size = .{ .width = label.len + 2, .height = null }, │ │371 + .min_size = .{ .width = @max(label.len, count_label.len) + 2, .height = null },│ │372 }); │ │373 } │ │374 │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────╯