╭ changed ──────╮ │src/ui/User.zig│ ╰───────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭─────────────────────────────────────────────╮ │34 forks: []const ForkItem, │ │35 forks_start: usize, │ │36 forks_next_start: ?usize, │ │37 +user_notifications: ui.UserNotifications,│ │38 quit: Quit, │ │39 │ │40 const Self = @This(); │ ╰─────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────╮ │48 // the url-encoded repos search ("" = none)│ │49 repos_search: []const u8, │ │50 forks_start: usize, │ │51 + user_tab: ui.RoutablePage.UserTab, │ │52 ) !Self { │ │53 // admin and user repos share one db type │ │54 const DB = evt.AdminDB; │ ╰───────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────╮ │173 .forks = forks.items, │ │174 .forks_start = forks_start, │ │175 .forks_next_start = forks_next_start, │ │176 + .user_notifications = try ui.UserNotifications.init(arena, session, user_tab),│ │177 .quit = Quit.init(), │ │178 }; │ │179 } │ ╰───────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │249 } │ │250 │ │251 { │ │249 - var user_view = try ui.UserSettings.initView(allocator, session); │ │252 + const route = ui.RoutablePage{ .user_user = .{ .name = ui.RoutablePage.Array(evt.User.name_max_len).from(data.user.name) orelse return error.RouteTooLong } };│ │253 + var user_view = try ui.UserSettings.initView(allocator, session, &data.user_notifications, route); │ │254 errdefer user_view.deinit(allocator); │ │255 try stack.children.put(allocator, user_view.getFocus().id, user_view); │ │256 } │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │319 .user_repos => |*v| return v.focusHeader(root_focus), │ │320 // an empty list has nothing to focus │ │321 .flow_box_scroll => |*v| if (v.isEmpty()) return, │ │322 + .user_notifications => |*v| if (v.focusHeader(root_focus)) return,│ │323 else => {}, │ │324 }; │ │325 index = stack_index; │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────╯