╭ changed ────────────╮ │src/ui/Repo/Files.zig│ ╰─────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │250 // the directory listing on the left (one focusable row each). │ │251 { │ │252 var list_scroll = blk: { │ │253 - var list_box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .vert }); │ │253 + var list_box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .vert, .stretch = true });│ │254 errdefer list_box.deinit(allocator); │ │255 │ │256 // labels and link kinds are borrowed by the rows, so they live in │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯