╭ changed ─────────────╮ │src/ui/Home/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭────────────────────────────────────────────────────────────────────────────────╮ │37 │ │38 var tab_ids: [3]usize = undefined; │ │39 │ │40 + // spacer │ │41 + { │ │42 + var text = wgt.Text(ui.Widget).init(" "); │ │43 + errdefer text.deinit(allocator); │ │44 + try box.children.put(allocator, text.getFocus().id, .{ │ │45 + .widget = .{ .text = text }, │ │46 + .rect = null, │ │47 + .min_size = .{ .width = 1, .height = null }, │ │48 + }); │ │49 + } │ │50 + │ │51 // title sits to the left of the tabs │ │52 { │ │53 var title_view = try ui.Title.View.init(allocator, &data.title);│ ╰────────────────────────────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────╮ │59 }); │ │60 } │ │61 │ │51 - // gap between title and the users tab │ │62 + // spacer │ │63 { │ │64 var text = wgt.Text(ui.Widget).init(" ");│ │65 errdefer text.deinit(allocator); │ ╰─────────────────────────────────────────────────────────╯