╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Repo.zig ─────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
🬐 🬠 🬞🬂🬏 🬟 🬑 🬟 🬑 ╭956ff65b..╮ 956ff65b.. see-em: 🬋🬋🬋 🬋🬋🬋 🬋 🬋 │files │ commits refs discuss issues new login 🬐 🬠 🬐 🬠 🬑 🬟 🬰 ╰──────────╯ (593) user
╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯
.. Auth/ Fork/ Home/ Repo/ User/ widget/ Auth.zig AuthTab.zig Fork.zig Home.zig Quit.zig ╭─────────────────────────────────╮ │Repo.zig │ ╰─────────────────────────────────╯ Settings.zig SubTitle.zig Title.zig Unauthorized.zig User.zig input.zig widget.zig
221 const events_moment: ?u64 = switch (route) { 222 .repo_events => |e| e.moment, 223 else => null, 224 }; 225 const events_selected: []const u8 = switch (route) { 226 .repo_events => |*e| e.selected.slice(), 227 else => "", 228 }; 229 230 // where the on-disk repo lives (null keeps the views' empty fallback), plus 231 // the repo and owner-name metadata the header shows. local mode already 232 // knows all three; the server paths resolve them from the admin db. 233 var source: ?ui.RepoSource = null; 234 var repo_id_maybe: ?[evt.event_id_size]u8 = null; 235 var repo: evt.Repo.Record = undefined; 236 var owner_name: []const u8 = undefined; 237 if (session.local) |local| { 238 source = local; 239 // local routes elide the identity, so the display name comes from the 240 // repo's directory rather than the route. 241 repo = .{ .event = .{ 242 .user_id = "", 243 .name = try arena.allocator().dupe(u8, std.fs.path.basename(local.path)), 244 .description = "", 245 } }; 246 owner_name = ""; 247 } else { 248 const haxy_moment = session.haxy_moment orelse return error.NoMoment; 249 const io = session.io orelse return error.NoMoment; 250 const repos_dir = session.repos_dir orelse return error.NoMoment; 251 const found = (try evt.readRepoByOwnerAndName(io, arena.child_allocator, arena, haxy_moment, repos_dir, repo_identity.owner, repo_identity.name)) orelse return error.NotFound; 252 // a repo the session can't read doesn't exist to it 253 if (evt.Repo.roleOf(found.repo, session.userId()) == .none) return error.NotFound; 254 repo = found.repo; 255 repo_id_maybe = found.event_id; 256 257 // resolve the creating user so the header can show their name to the left 258 // of the repo title. 259 const owner = (try evt.User.readById(DB, hash_kind, haxy_moment, arena, repo.event.user_id)) orelse return error.NotFound; 260 owner_name = owner.event.name; 261 262 // the repo's working copy lives at <repos_dir>/<hex event id>. 263 const hex = std.fmt.bytesToHex(found.event_id, .lower); 264 source = .{ 265 .path = try std.fs.path.join(arena.allocator(), &.{ repos_dir, &hex }), 266 .repo_kind = .xit, 267 }; 268 } 269 270 // open the repo once for every tab. files and changes share a ref or revision. 271 // no filesystem (wasm), nowhere to look, or a failed open: empty tabs. 272 const undo_allowed = if (session.local) |local| local.repo_kind == .xit else session.userId() != null and evt.Repo.roleOf(repo, session.userId()).atLeast(.write); 273 if (route == .repo_undo and !undo_allowed) return error.NotFound; 274 // a server shows events to whoever it shows undo to, so the route follows 275 if (route == .repo_events and session.data.host_kind != .local and !undo_allowed) return error.NotFound; 276 const undo_index = if (route == .repo_undo) route.repo_undo.index else null; 277 const undo_clear = route == .repo_undo and route.repo_undo.clear; 278 // an unreadable repo still shows the tab, like every other tab 279 var undo_data: ?Undo = if (undo_allowed) .{ .identity = repo_identity.identity } else null; 280 const files, const changes, const refs, var issues, var patches, var discussions, const events = blk: { 281 read: { 282 const io = session.io orelse break :read; 283 const src = source orelse break :read; 284 const gpa = arena.child_allocator; 285 switch (src.repo_kind) { 286 inline else => |repo_kind| { 287 var any_repo = rp.AnyRepo(repo_kind, .{}).open(io, gpa, src.localInitOpts()) catch break :read; 288 defer any_repo.deinit(io, gpa); 289 switch (any_repo) { 290 inline else => |*opened| { 291 // local mode: bring the event db up to date with the events branch 292 if (session.local != null) { 293 try evt.consume(.local, .repo, repo_kind, opened.self_repo_opts, io, gpa, opened, evt.events_ref, &.{}); 294 try pch.refreshBranches(.local, repo_kind, opened.self_repo_opts, io, gpa, opened, null, null); 295 } 296 // tabs switch in-page, so every tab's data is read here 297 if (repo_kind == .xit and undo_allowed) { 298 undo_data = Undo.init(opened.self_repo_opts, arena, opened, session.haxy_moment, repo_identity.identity, undo_index) catch |err| switch (err) { 299 error.OutOfMemory => return err, 300 else => .{ .identity = repo_identity.identity, .failure = @errorName(err) }, 301 }; 302 } 303 // a merge: route stands for the log of what the merge brought in 304 const ref_or_oid: ?ui.RoutablePage.RefOrOid, const ref_value, const base_oid = if (commits_merge.len == 0) 305 .{ requested_ref_or_oid, requested_ref_value, commits_base_oid } 306 else merged: { 307 const merged = try Commits.resolveMerge(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, commits_merge); 308 break :merged .{ .object, merged.oid, merged.base_oid }; 309 }; 310 const files_data = if (patchrev_id.len != 0) 311 try Files.initPatchRev(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, location, patchrev_id, files_dir, files_line) 312 else 313 try Files.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, location, ref_or_oid, ref_value, files_dir, files_line, files_find); 314 const changes_data: Changes = if (route == .repo_diff) 315 .{ .diff = try Diff.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, route.repo_diff) } 316 else if (patchrev_id.len != 0) diff: { 317 const diff_route = ui.RoutablePage.repoPatchRevDiffRoute(repo_identity.identity, patchrev_id, 0, "") orelse return error.RouteTooLong; 318 break :diff .{ .diff = try Diff.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, diff_route.repo_diff) }; 319 } else .{ .commits = try Commits.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, session.haxy_moment, location, ref_or_oid, ref_value, commits_content, base_oid, commits_search, commits_from) }; 320 const target_branch = if (files_data.ref_or_oid == .branch) files_data.ref_or_oid_value else ""; 321 break :blk .{ 322 files_data, 323 changes_data, 324 try Refs.init(repo_kind, opened.self_repo_opts, arena, opened, io, gpa, repo_identity.identity, refs_kind, refs_from, refs_search), 325 try Issues.init(repo_kind, opened.self_repo_opts, arena, opened, io, session.haxy_moment, repo_identity.identity, issues_label, issues_search, issues_selected, issues_comment, issues_comments_start, issues_theirs, issues_view), 326 try Patches.init(repo_kind, opened.self_repo_opts, arena, opened, io, session.haxy_moment, session, repo_id_maybe, repo_identity.identity, target_branch, patches_label, patches_search, patches_selected, patches_comment, patches_comments_start, patches_theirs, patches_view), 327 try Discussions.init(repo_kind, opened.self_repo_opts, arena, opened, io, session.haxy_moment, repo_identity.identity, discussions_label, discussions_search, discussions_selected, discussions_comment, discussions_comments_start, discussions_view), 328 try Events.init(repo_kind, opened.self_repo_opts, arena, opened, io, session.haxy_moment, repo_identity.identity, events_view, events_kind, events_selected, events_moment, session.local != null, session.data.sync_failure), 329 }; 330 }, 331 } 332 }, 333 } 334 } 335 const aa = arena.allocator(); 336 break :blk .{ 337 try Files.emptyResult(aa, location, requested_ref_or_oid orelse .branch, requested_ref_value, files_dir), 338 Changes{ .commits = try Commits.emptyResult(aa, location, requested_ref_or_oid orelse .branch, requested_ref_value, commits_content, commits_base_oid) }, 339 try Refs.emptyResult(arena, repo_identity.identity, refs_kind, refs_from, refs_search), 340 try Issues.emptyResult(aa, repo_identity.identity, issues_label, issues_search, issues_selected, issues_comment, issues_comments_start, issues_theirs, issues_view), 341 try Patches.emptyResult(aa, repo_identity.identity, patches_label, patches_search, patches_selected, patches_comment, patches_comments_start, patches_theirs, patches_view), 342 try Discussions.emptyResult(aa, repo_identity.identity, discussions_label, discussions_search, discussions_selected, discussions_comment, discussions_comments_start, discussions_view), 343 try Events.empty(aa, repo_identity.identity, events_view, session.local != null, session.data.sync_failure), 344 }; 345 }; 346 if (undo_data) |*undo| { 347 undo.can_undo = session.local != null or evt.Repo.roleOf(repo, session.userId()) == .owner; 348 undo.clear = undo_clear; 349 } 350 if (route == .repo_undo and undo_data == null) return error.NotFound; 351 issues.repo_source = source; 352 patches.repo_source = source; 353 patches.repo_id = repo_id_maybe; 354 discussions.repo_source = source; 355 356 return .{ 357 // use the files tab's resolved ref for the header 358 .header = try Header.init(arena, repo.event.name, owner_name, files.ref_or_oid, files.ref_or_oid_value, issues.label, patches.label, discussions.label), 359 .repo = repo, 360 .files = files, 361 .changes = changes, 362 .refs = refs, 363 .issues = issues, 364 .patches = patches, 365 .discussions = discussions, 366 .events = events, 367 .undo = undo_data, 368 .settings = Settings.init(), 369 .auth = Auth.init(), 370 .quit = Quit.init(), 371 }; 372 } 373 374 pub const View = struct { 375 box: wgt.Box(ui.Widget), 376 377 const header_index: usize = 0; 378 const stack_index: usize = 1; 379 380 pub fn init(allocator: std.mem.Allocator, data: *const Self, session: *ui.Session) !View { 381 var box = try wgt.Box(ui.Widget).init(allocator, .{ .border_style = null, .round_corners = true, .direction = .vert }); 382 errdefer box.deinit(allocator); 383 384 // build the header first so we can grab the files-tab id for the auth 385 // view (it focuses there after login). 386 { 387 var header_view = try Header.View.init(allocator, data, session); 388 errdefer header_view.deinit(allocator); 389 try box.children.put(allocator, header_view.getFocus().id, .{ .widget = .{ .repo_header = header_view }, .rect = null, .min_size = null }); 390 } 391 392 { 393 var stack = try wgt.Stack(ui.Widget).init(allocator); 394 errdefer stack.deinit(allocator); 395 396 // files — the default tab: the current directory's listing. 397 { 398 var files_view = try Files.View.init(allocator, &data.files, session); 399 errdefer files_view.deinit(allocator); 400 try stack.children.put(allocator, files_view.getFocus().id, .{ .repo_files = files_view }); 401 } 402 403 switch (data.changes) { 404 .diff => |*diff| { 405 var diff_view = try Diff.View.init(allocator, diff, session); 406 errdefer diff_view.deinit(allocator); 407 try stack.children.put(allocator, diff_view.getFocus().id, .{ .diff_view = diff_view }); 408 }, 409 .commits => |*commits| { 410 var commits_view = try Commits.View.init(allocator, commits, session); 411 errdefer commits_view.deinit(allocator); 412 try stack.children.put(allocator, commits_view.getFocus().id, .{ .repo_commits = commits_view }); 413 }, 414 } 415 416 // refs — the repo's branches and tags. 417 { 418 var refs_view = try Refs.View.init(allocator, &data.refs, session); 419 errdefer refs_view.deinit(allocator); 420 try stack.children.put(allocator, refs_view.getFocus().id, .{ .repo_refs = refs_view }); 421 } 422 423 // issues — the repo's issue tracker and comment permalinks. 424 { 425 var issues_view = try Issues.View.init(allocator, &data.issues, session); 426 errdefer issues_view.deinit(allocator); 427 try stack.children.put(allocator, issues_view.getFocus().id, .{ .repo_issues = issues_view }); 428 } 429 430 // patches and their comment permalinks. 431 { 432 var patches_view = try Patches.View.init(allocator, &data.patches, session); 433 errdefer patches_view.deinit(allocator); 434 try stack.children.put(allocator, patches_view.getFocus().id, .{ .repo_patches = patches_view }); 435 } 436 437 // discussions and their comment permalinks. 438 { 439 var discussions_view = try Discussions.View.init(allocator, &data.discussions, session); 440 errdefer discussions_view.deinit(allocator); 441 try stack.children.put(allocator, discussions_view.getFocus().id, .{ .repo_discussions = discussions_view }); 442 } 443 444 if (session.data.host_kind == .local or data.undo != null) { 445 var events_view = try Events.View.init(allocator, &data.events, session); 446 errdefer events_view.deinit(allocator); 447 try stack.children.put(allocator, events_view.getFocus().id, .{ .repo_events = events_view }); 448 } 449 450 if (data.undo) |*undo| { 451 var undo_view = try Undo.View.init(allocator, undo, session); 452 errdefer undo_view.deinit(allocator); 453 try stack.children.put(allocator, undo_view.getFocus().id, .{ .repo_undo = undo_view }); 454 } 455 456 // the header only shows the settings tab with a login and the auth 457 // tab outside local mode, so keep the stack's children 1:1 with 458 // the tabs by skipping the same views. 459 if (session.data.user_id != null) { 460 var settings_view = try Settings.View.init(allocator, session); 461 errdefer settings_view.deinit(allocator); 462 try stack.children.put(allocator, settings_view.getFocus().id, .{ .home_settings = settings_view }); 463 } 464 465 if (session.data.host_kind == .server) { 466 var auth_view = try Auth.View.init(allocator, &data.auth, session); 467 errdefer auth_view.deinit(allocator); 468 try stack.children.put(allocator, auth_view.getFocus().id, .{ .home_auth = auth_view }); 469 } 470 471 if (session.is_terminal) { 472 var quit_view = try Quit.View.init(allocator, session); 473 errdefer quit_view.deinit(allocator); 474 try stack.children.put(allocator, quit_view.getFocus().id, .{ .quit = quit_view }); 475 } 476 477 try box.children.put(allocator, stack.getFocus().id, .{ .widget = .{ .stack = stack }, .rect = null, .min_size = null }); 478 } 479 480 var self = View{ .box = box }; 481 // a page opens on its tabs, except that search results open in the 482 // tab's own search box. 483 const results = data.files.find != null or 484 (data.changes == .commits and data.changes.commits.search != null) or 485 data.issues.search != null or data.patches.search != null or data.discussions.search != null; 486 self.getFocus().child_id = box.children.keys()[if (results) stack_index else header_index]; 487 return self; 488 } 489 490 pub fn deinit(self: *View, allocator: std.mem.Allocator) void { 491 self.box.deinit(allocator); 492 } 493 494 pub fn build(self: *View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 495 self.clearGrid(); 496 const header = &self.box.children.values()[header_index].widget.repo_header; 497 const stack = &self.box.children.values()[stack_index].widget.stack; 498 499 // each header tab maps 1:1 to a stack child by position 500 if (header.getSelectedIndex()) |index| 501 stack.getFocus().child_id = stack.children.keys()[index]; 502 try self.box.build(allocator, constraint, root_focus); 503 } 504 505 pub fn input(self: *View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 506 const stack = &self.box.children.values()[stack_index].widget.stack; 507 if (self.getFocus().child_id) |child_id| { 508 if (self.box.children.getIndex(child_id)) |current_index| { 509 const child = &self.box.children.values()[current_index].widget; 510 var index = current_index; 511 512 const direction = inp.vertDirection(key); 513 514 switch (direction) { 515 .up => { 516 switch (child.*) { 517 .repo_header => { 518 try child.input(allocator, key, root_focus); 519 }, 520 .stack => { 521 if (child.stack.getSelected()) |selected_widget| { 522 if (selected_widget.atTop(root_focus)) { 523 index = header_index; 524 } else { 525 try child.input(allocator, key, root_focus); 526 } 527 } 528 }, 529 else => {}, 530 } 531 }, 532 .down => { 533 switch (child.*) { 534 .repo_header => { 535 if (stack.getSelected()) |selected_widget| switch (selected_widget.*) { 536 .repo_files => |*v| if (v.focusHeader(root_focus)) return, 537 .repo_commits => |*v| if (v.focusHeader(root_focus)) return, 538 .repo_refs => |*v| if (v.focusHeader(root_focus)) return, 539 .repo_events => |*v| if (v.focusHeader(root_focus)) return, 540 .repo_undo => |*v| if (v.focusHeader(root_focus)) return, 541 else => {}, 542 }; 543 index = stack_index; 544 }, 545 .stack => { 546 try child.input(allocator, key, root_focus); 547 }, 548 else => {}, 549 } 550 }, 551 .none => { 552 try child.input(allocator, key, root_focus); 553 }, 554 } 555 556 if (index != current_index) { 557 root_focus.setFocus(self.box.children.keys()[index]); 558 } 559 } 560 } 561 } 562 563 pub fn clearGrid(self: *View) void { 564 self.box.clearGrid(); 565 } 566 567 pub fn getGrid(self: View) ?Grid { 568 return self.box.getGrid(); 569 } 570 571 pub fn getFocus(self: *View) *Focus { 572 return self.box.getFocus(); 573 } 574 }; 575