🬐 🬠 🬞🬂🬏 🬟 🬑 🬟 🬑 0d5b9d4c.. ╭0d5b9d4c..╮ see-em: 🬋🬋🬋 🬋🬋🬋 🬋 🬋 files │diff │ refs discuss issues new login 🬐 🬠 🬐 🬠 🬑 🬟 🬰 ╰──────────╯ user

╭──────────╮ │← previous│ ╰──────────╯ ╭ changed ─────────────╮ │src/ui/Fork/Header.zig│ ╰──────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │150 if (current_tag == .fork_repo_new) selected_tab = new_repo.getFocus().id; │ │151 try tabs_box.children.put(allocator, new_repo.getFocus().id, .{ .widget = .{ .text_box = new_repo }, .rect = null, .min_size = .{ .width = @max(new_tab_label.len, new_repo_tab_bottom_label.len) + 2, .height = null } });│ │152 } else if (session.data.host_kind == .server) { │ │153 - var new_user = try wgt.TextBox.init(allocator, new_tab_label, .{ .border_style = .single, .round_corners = true, .wrap_kind = .none, .bottom_label = new_user_tab_bottom_label }); │ │153 + var new_user = try wgt.TextBox.init(allocator, new_tab_label, .{ .border = .single, .round_corners = true, .wrap_kind = .none, .bottom_label = .{ .text = new_user_tab_bottom_label } }); │ │154 errdefer new_user.deinit(allocator); │ │155 new_user.getFocus().mode = .all; │ │156 new_user.getFocus().kind = .{ .custom = new_user_link }; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │161 │ │162 if (session.data.host_kind == .server) { │ │163 const label = ui.UserLogout.tabLabel(session); │ │164 - var user_tab = try wgt.TextBox.init(allocator, label, .{ .border_style = .single, .round_corners = true, .wrap_kind = .none });│ │164 + var user_tab = try wgt.TextBox.init(allocator, label, .{ .border = .single, .round_corners = true, .wrap_kind = .none }); │ │165 errdefer user_tab.deinit(allocator); │ │166 user_tab.getFocus().mode = .all; │ │167 user_tab.getFocus().kind = .{ .custom = user_link }; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │171 } │ │172 │ │173 if (session.is_terminal) { │ │174 - var quit = try wgt.TextBox.init(allocator, ui.Quit.tab_label, .{ .border_style = .single, .round_corners = true, .wrap_kind = .none });│ │174 + var quit = try wgt.TextBox.init(allocator, ui.Quit.tab_label, .{ .border = .single, .round_corners = true, .wrap_kind = .none }); │ │175 errdefer quit.deinit(allocator); │ │176 quit.getFocus().mode = .all; │ │177 quit.getFocus().kind = .{ .custom = ui.Quit.tab_kind }; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭ changed ──────╮ │src/ui/Home.zig│ ╰───────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │45 const stack_index: usize = 1; │ │46 │ │47 pub fn init(allocator: std.mem.Allocator, data: *const Self, session: *ui.Session) !View { │ │48 - var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .round_corners = true, .direction = .vert });│ │48 + var box = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .round_corners = true, .direction = .vert }); │ │49 errdefer box.deinit(allocator); │ │50 │ │51 // build the header first so we can grab the users-tab focus id and │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭ changed ────────────╮ │src/ui/Home/About.zig│ ╰─────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │47 break :blk try wgt.Scroll(ui.Widget).init(allocator, .{ .markdown = markdown }, .{ .direction = .vert, .web_native = !session.is_terminal, .fill = true });│ │48 }; │ │49 errdefer scroll.deinit(allocator); │ │50 - var frame = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = .single, .round_corners = true, .direction = .vert }); │ │50 + var frame = try wgt.Box(ui.Widget).init(allocator, .{ .border = .single, .round_corners = true, .direction = .vert }); │ │51 errdefer frame.deinit(allocator); │ │52 frame.getFocus().child_id = scroll.getFocus().id; │ │53 try frame.children.put(allocator, scroll.getFocus().id, .{ .widget = .{ .scroll = scroll }, .rect = null, .min_size = null, .flex = .grow }); │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │60 │ │61 pub fn build(self: *View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void {│ │62 const focused = if (root_focus.grandchild_id) |id| self.markdownView().owns(id) else false; │ │63 - self.frame.options.border_style = if (focused) .double else .single; │ │63 + self.frame.options.border = if (focused) .double else .single; │ │64 try self.frame.build(allocator, constraint, root_focus); │ │65 } │ │66 │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭ changed ─────────────╮ │src/ui/Home/Header.zig│ ╰──────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │35 session: *ui.Session, │ │36 │ │37 pub fn init(allocator: std.mem.Allocator, data: *const Self, session: *ui.Session) !View { │ │38 - var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = .hidden, .round_corners = true, .direction = .horiz });│ │38 + var box = try wgt.Box(ui.Widget).init(allocator, .{ .border = .hidden, .round_corners = true, .direction = .horiz }); │ │39 errdefer box.deinit(allocator); │ │40 │ │41 - var title_box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .horiz }); │ │41 + var title_box = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .direction = .horiz }); │ │42 var title_box_owned = false; │ │43 errdefer if (!title_box_owned) title_box.deinit(allocator); │ │44 │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │45 - var tabs_box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .direction = .horiz });│ │45 + var tabs_box = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .direction = .horiz }); │ │46 var tabs_box_owned = false; │ │47 errdefer if (!tabs_box_owned) tabs_box.deinit(allocator); │ │48 │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │105 │ │106 // about tab │ │107 { │ │108 - var text_box = try wgt.TextBox.init(allocator, about_tab_label, .{ .border_style = .single, .round_corners = true, .wrap_kind = .none });│ │108 + var text_box = try wgt.TextBox.init(allocator, about_tab_label, .{ .border = .single, .round_corners = true, .wrap_kind = .none }); │ │109 errdefer text_box.deinit(allocator); │ │110 text_box.getFocus().mode = .all; │ │111 text_box.getFocus().kind = .{ .custom = about_link }; │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │120 │ │121 // users tab │ │122 { │ │123 - var text_box = try wgt.TextBox.init(allocator, users_tab_label, .{ .border_style = .single, .round_corners = true, .wrap_kind = .none });│ │123 + var text_box = try wgt.TextBox.init(allocator, users_tab_label, .{ .border = .single, .round_corners = true, .wrap_kind = .none }); │ │124 errdefer text_box.deinit(allocator); │ │125 text_box.getFocus().mode = .all; │ │126 text_box.getFocus().kind = .{ .custom = users_link }; │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭──────╮ │next →│ ╰──────╯