╭ changed ──────────────╮ │src/ui/Repo/Patches.zig│ ╰───────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │92 const selected = self.selectedKind(); │ │93 for (self.box.children.keys(), self.box.children.values()) |id, *child| switch (child.widget) { │ │94 .text_input => child.hidden = selected == .fork, │ │95 - .text_box => |*selector| { │ │96 - const is_selected = id == self.selectors.get(selected); │ │97 - selector.options.border_style = if (is_selected) .single else .hidden; │ │98 - selector.options.inverted = is_selected; │ │99 - }, │ │95 + .text_box => |*selector| ui.widget.markSelected(selector, id == self.selectors.get(selected)),│ │96 else => {}, │ │97 }; │ │98 try self.box.build(allocator, constraint, root_focus); │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────╯