╭──────────╮ │← previous│ ╰──────────╯ ╭ changed ────────────╮ │src/ui/Repo/Files.zig│ ╰─────────────────────╯ ╭─────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │849 - // a single line plus the hidden border is 3 rows tall; stretch the box to │ │850 - // the full width by handing the available width down as a min width. │ │851 - try self.text_box.build(allocator, .{ │ │852 - .min_size = .{ .width = constraint.max_size.width, .height = null }, │ │853 - .max_size = constraint.max_size, │ │854 - }, root_focus); │ │854 + self.clearGrid(); │ │855 + try self.box.build(allocator, constraint, root_focus); │ │856 } │ │857 │ │858 pub fn input(self: *Header.View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void {│ ╰─────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────╮ │863 } │ │864 │ │865 pub fn clearGrid(self: *Header.View) void {│ │865 - self.text_box.clearGrid(); │ │866 + self.box.clearGrid(); │ │867 } │ │868 │ │869 pub fn getGrid(self: Header.View) ?Grid { │ ╰────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────╮ │869 - return self.text_box.getGrid(); │ │870 + return self.box.getGrid(); │ │871 } │ │872 │ │873 pub fn getFocus(self: *Header.View) *Focus {│ ╰─────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────╮ │873 - return self.text_box.getFocus();│ │874 + return self.box.getFocus(); │ │875 } │ │876 }; │ │877 }; │ ╰─────────────────────────────────────────────────╯ ╭ changed ─────────────╮ │src/ui/Repo/Issues.zig│ ╰──────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │904 tab_ids: std.AutoArrayHashMapUnmanaged(usize, void), │ │905 │ │906 pub fn init(allocator: std.mem.Allocator, session: *ui.Session, data: *const Self) !Header { │ │907 - var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = .hidden, .rounded_corners = true, .direction = .horiz });│ │907 + var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .horiz }); │ │908 errdefer box.deinit(allocator); │ │909 │ │910 var tab_ids: std.AutoArrayHashMapUnmanaged(usize, void) = .empty; │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯