╭ changed ─────────────╮ │src/ui/Repo/Header.zig│ ╰──────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │267 } │ │268 │ │269 // events, which a server only shows to whoever it shows undo to │ │270 - if (session.data.host_kind == .local or page.undo != null) { │ │270 + if (page.handle.canWrite()) { │ │271 var text_box = try wgt.TextBox.init(allocator, events_tab_label, .{ .border_style = .single, .round_corners = true, .wrap_kind = .none });│ │272 errdefer text_box.deinit(allocator); │ │273 text_box.getFocus().mode = .all; │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯