╭ changed ─────────────╮ │src/ui/User/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │219 }, │ │220 else => null, │ │221 }; │ │222 - if (tb) |t| { │ │223 - const selected = self.getFocus().child_id == id; │ │224 - t.options.border_style = if (selected) .single else .hidden; │ │225 - t.options.inverted = selected; │ │226 - } │ │222 + if (tb) |t| ui.widget.markSelected(t, self.getFocus().child_id == id); │ │223 } │ │224 var scroll_constraint = constraint; │ │225 scroll_constraint.min_size.width = constraint.max_size.width orelse constraint.min_size.width;│ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────╯