╭ changed ────────────╮ │src/ui/Home/Users.zig│ ╰─────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────────╮ │42 │ │43 // read the window [start, start+page_size) with one seek to the start rank,│ │44 // then a sequential walk │ │45 - const end = @min(start + page_size, count); │ │45 + const end = @min(start +| page_size, count); │ │46 var iter = try user_id_set.iteratorFromIndex(start); │ │47 var i = start; │ │48 while (i < end) : (i += 1) { │ ╰────────────────────────────────────────────────────────────────────────────────────╯