╭ changed ─────────────╮ │src/ui/User/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────╮ │← previous│ ╰──────────╯ ╭─────────────────────────────────────────────────────────────────────────╮ │204 │ │205 fn currentTabIndex(self: View) ?usize { │ │206 const child_id = self.box.focus.child_id orelse return null;│ │190 - for (self.tab_ids, 0..) |id, i| { │ │191 - if (id == child_id) return i; │ │192 - } │ │193 - return null; │ │207 + return self.tab_ids.getIndex(child_id); │ │208 } │ │209 }; │ │210 │ ╰─────────────────────────────────────────────────────────────────────────╯