╭ changed ─────────────╮ │src/ui/Fork/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │219 const tabs_child = self.tabsChild(); │ │220 const tabs_box = &tabs_child.widget.box; │ │221 │ │222 - const selected_tab = if (box.getFocus().child_id == self.tabs_id) tabs_box.getFocus().child_id else null;│ │222 + const selected_tab = tabs_box.getFocus().child_id; │ │223 var tabs_width: usize = 0; │ │224 for (tabs_box.children.keys(), tabs_box.children.values()) |id, *child| { │ │225 const text_box: ?*wgt.TextBox = switch (child.widget) { │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯