╭ changed ─────────────╮ │src/ui/Repo/Events.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │422 self.clearGrid(); │ │423 if (self.header().getSelectedIndex()) |index| │ │424 self.contentStack().getFocus().child_id = self.contentStack().children.keys()[index]; │ │425 - const view = self.selectedView(); │ │426 - var selected_kind: ?evt.EventKind = null; │ │427 - var selected_id: []const u8 = ""; │ │428 - if (view == self.data.view) { │ │429 - if (self.data.selected) |selected| { │ │430 - selected_kind = selected.kind; │ │431 - selected_id = selected.id; │ │432 - } │ │433 - } │ │434 - if (ui.RoutablePage.repoEventsRoute(self.data.identity, view, selected_kind, selected_id)) |route| │ │435 - self.session.data.current_page = route; │ │425 try self.refreshDetail(allocator); │ │426 │ │438 - if (root_focus.grandchild_id) |id| if (self.box.getFocus().children.contains(id)) { │ │439 - if (self.selectedEventIndex()) |index| { │ │440 - const event = self.eventWindow().events[index]; │ │441 - if (ui.RoutablePage.repoEventsRoute(self.data.identity, view, event.kind, event.id)) |route| │ │442 - self.session.data.current_page = route; │ │443 - } │ │444 - }; │ │445 - │ │427 const list = self.listBox(); │ │428 for (list.children.keys(), list.children.values()) |id, *child| switch (child.widget) { │ │429 .text_box => |*text_box| text_box.options.border_style = if (list.getFocus().child_id == id) .single else .hidden,│ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │585 var tab = try wgt.TextBox(ui.Widget).init(allocator, label, .{ .border_style = .hidden, .rounded_corners = true, .wrap_kind = .none }); │ │586 errdefer tab.deinit(allocator); │ │587 tab.getFocus().focusable = true; │ │607 - tab.getFocus().kind = .{ .custom = try std.fmt.allocPrint(session.page_arena.allocator(), "ai:{s}", .{try route.toUrl(session.page_arena)}) }; │ │588 + const selected = std.meta.activeTag(session.data.current_page) == .repo_events and data.view == view; │ │589 + tab.getFocus().kind = .{ .custom = try ui.inPageTabLink(session, route, selected) }; │ │590 tab_ids[i] = tab.getFocus().id; │ │591 try box.children.put(allocator, tab.getFocus().id, .{ .widget = .{ .text_box = tab }, .rect = null, .min_size = .{ .width = label.len + 2, .height = null } });│ │592 } │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯