╭ changed ─────────────╮ │src/ui/Home/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │244 const tabs_box = &tabs_child.widget.box; │ │245 │ │246 // only the selected tab shows its border │ │247 - const selected_tab = if (box.getFocus().child_id == self.tabs_id) tabs_box.getFocus().child_id else null;│ │247 + const selected_tab = tabs_box.getFocus().child_id; │ │248 var tabs_width: usize = 0; │ │249 for (tabs_box.children.keys(), tabs_box.children.values()) |id, *child| { │ │250 const tb: ?*wgt.TextBox = switch (child.widget) { │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯