╭ changed ───────────╮ │src/ui/Repo/Undo.zig│ ╰────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │585 try rows.children.values()[0].widget.text_box.setContent(allocator, message); │ │586 self.shown_failure = failure; │ │587 } │ │588 - } │ │589 - for (rows.children.keys(), rows.children.values()) |id, *child| { │ │590 - const is_selected = rows.getFocus().child_id == id; │ │591 - child.widget.text_box.options.border_style = if (is_selected) .single else .hidden; │ │592 - child.widget.text_box.options.inverted = is_selected; │ │588 } │ │589 + for (rows.children.keys(), rows.children.values()) |id, *child| ui.widget.markSelected(&child.widget.text_box, rows.getFocus().child_id == id);│ │590 const both_fit = if (constraint.max_size.width) |width| width >= list_max_width + detail_min_width else true; │ │591 self.contentBox().children.values()[0].max_size = if (both_fit) .{ .width = list_max_width, .height = null } else null; │ │592 const width = if (constraint.max_size.width) |value| if (both_fit) value - list_max_width else value else detail_min_width; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯