╭──────────╮ │← previous│ ╰──────────╯ ╭ changed ──────────────╮ │src/ui/Repo/Patches.zig│ ╰───────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │1068 const route = ui.RoutablePage.repoPatchesConflictsRoute(data.identity, "") orelse return error.RouteTooLong; │ │1069 const link = try ui.inPageTabLink(session, route, page_selected and selected_index == View.viewIndex(.conflicts));│ │1070 var label_buf: [64]u8 = undefined; │ │1056 - const label = try std.fmt.bufPrint(&label_buf, "conflicts ({d})", .{data.conflicts.count}); │ │1071 + const label = try std.fmt.bufPrint(&label_buf, conflicts_tab_label ++ " ({d})", .{data.conflicts.count}); │ │1072 try header.addTab(allocator, label, link, View.viewIndex(.conflicts)); │ │1073 } │ │1074 │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭ changed ─────────────╮ │src/ui/User/Header.zig│ ╰──────────────────────╯ ╭────────────────────────────────────────────────────╮ │ 8 const Key = xitui.input.Key; │ │ 9 const Grid = xitui.grid.Grid; │ │10 const Focus = xitui.focus.Focus; │ │11 + │ │12 +const repos_tab_label = "repos"; │ │13 +const forks_tab_label = "forks"; │ │14 +const settings_tab_label = "settings"; │ │15 │ │16 pub const AuthTab = @import("./../AuthTab.zig");│ │17 │ ╰────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │105 │ │106 // repos tab │ │107 { │ │104 - var text_box = try wgt.TextBox.init(allocator, "repos", .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none }); │ │108 + var text_box = try wgt.TextBox.init(allocator, repos_tab_label, .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none });│ │109 errdefer text_box.deinit(allocator); │ │110 text_box.getFocus().mode = .all; │ │111 text_box.getFocus().kind = .{ .custom = repos_link }; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────╮ │114 try box.children.put(allocator, text_box.getFocus().id, .{ │ │115 .widget = .{ .text_box = text_box }, │ │116 .rect = null, │ │113 - .min_size = .{ .width = "repos".len + 2, .height = null }, │ │117 + .min_size = .{ .width = repos_tab_label.len + 2, .height = null },│ │118 }); │ │119 } │ │120 │ ╰───────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │121 // forks tab │ │122 { │ │119 - var text_box = try wgt.TextBox.init(allocator, "forks", .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none }); │ │123 + var text_box = try wgt.TextBox.init(allocator, forks_tab_label, .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none });│ │124 errdefer text_box.deinit(allocator); │ │125 text_box.getFocus().mode = .all; │ │126 text_box.getFocus().kind = .{ .custom = forks_link }; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────╮ │129 try box.children.put(allocator, text_box.getFocus().id, .{ │ │130 .widget = .{ .text_box = text_box }, │ │131 .rect = null, │ │128 - .min_size = .{ .width = "forks".len + 2, .height = null }, │ │132 + .min_size = .{ .width = forks_tab_label.len + 2, .height = null },│ │133 }); │ │134 } │ │135 │ ╰───────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │147 │ │148 // settings tab. settings are account preferences, so it needs a login. │ │149 if (session.data.user_id != null) { │ │146 - var text_box = try wgt.TextBox.init(allocator, "settings", .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none }); │ │150 + var text_box = try wgt.TextBox.init(allocator, settings_tab_label, .{ .border_style = .single, .rounded_corners = true, .wrap_kind = .none });│ │151 errdefer text_box.deinit(allocator); │ │152 text_box.getFocus().mode = .all; │ │153 text_box.getFocus().kind = .{ .custom = settings_link }; │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────╮ │156 try box.children.put(allocator, text_box.getFocus().id, .{ │ │157 .widget = .{ .text_box = text_box }, │ │158 .rect = null, │ │155 - .min_size = .{ .width = "settings".len + 2, .height = null }, │ │159 + .min_size = .{ .width = settings_tab_label.len + 2, .height = null },│ │160 }); │ │161 } │ │162 │ ╰──────────────────────────────────────────────────────────────────────────────────────────╯